Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
unich.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Rivista
Codice:
E167165
ISSN:
1471-0684
Dati Generali
Dati Generali
Pubblicazioni (15)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A Logic Framework for P2P Deductive Databases
Articolo
A measure of arbitrariness in abductive explanations
Articolo
Active integrity constraints and revision programming
Articolo
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
Articolo
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Articolo
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
Articolo
Decidability properties for fragments of CHR
Articolo
Generalization Strategies for the Verification of Infinite State Systems
Articolo
On the interaction between sharing and linearity
Articolo
Optimal Matching for Sharing and Linearity Analysis
Articolo
Optimal multibinding unification for sharing and linearity analysis
Articolo
Optimality in goal-dependent analysis of Sharing
Articolo
Predicate Pairing for program verification
Articolo
Proving correctness of imperative programs by linearizing constrained Horn clauses
Articolo
Solving Horn Clauses on Inductive Data Types Without Induction
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
