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
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Rivista
Codice:
E167165
ISSN:
1471-0684
Dati Generali
Dati Generali
Pubblicazioni (12)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Articolo
Disjunctive Logic Programs with Inheritance
Articolo
Epistemic foundation of stable model semantics
Articolo
Generalization Strategies for the Verification of Infinite State Systems
Articolo
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Articolo
Predicate Pairing for program verification
Articolo
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Articolo
Soft Constraint Programming to Analysing Security Protocol
Articolo
Solving Horn Clauses on Inductive Data Types Without Induction
Articolo
Transformations of Logic Programs on Infinite Lists
Articolo
Transformations of logic programs with goals as arguments
Articolo
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
