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