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
JOURNAL OF LOGIC AND COMPUTATION
Rivista
Codice:
E092543
ISSN:
0955-792X
Dati Generali
Dati Generali
Pubblicazioni (5)
Efficient generation of test data structures using constraint logic programming and program transformation
Articolo
Embedding alternating-time temporal logic in strategic STIT logic of agency
Articolo
Ontology merging as social choice: judgment aggregation under the open world assumption
Articolo
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach
Articolo
Synthesizing monadic predicates
Articolo
No Results Found
