Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
ACTA INFORMATICA
Rivista
Codice:
E001860
ISSN:
0001-5903
Dati Generali
Dati Generali
Pubblicazioni (7)
A distributed operational semantics for CCS based on condition/event systems
Articolo
Conceptual classes and system classes in object databases
Articolo
Correctness of semantic integrity checking in database management systems
Articolo
Extending Stratified Datalog to Capture Complexity Classes Ranging
Articolo
Extensional equivalences for transition systems
Articolo
On the equivalence and rewriting of aggregate queries
Articolo
Planning and execution with flexible timelines: a formal account
Articolo
No Results Found
