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