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
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Rivista
Codice:
E001489
ISSN:
1529-3785
Dati Generali
Dati Generali
Pubblicazioni (4)
On the Complexity of Probabilistic Abstract Argumentation Frameworks
Articolo
PELCR: Parallel environment for optimal lambda-calculus reduction
Articolo
Principles of KLM-style Defeasible Description Logics
Articolo
Soft Concurrent Constraint Programming
Articolo
No Results Found
