Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Rivista
Codice:
E001489
ISSN:
1529-3785
Dati Generali
Dati Generali
Pubblicazioni (6)
An evaluation-driven decision procedure for G3i
Articolo
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
Articolo
Fuzzy time in linear temporal logic
Articolo
On the complexity of the disjunction property in intuitionistic and modal logics
Articolo
Probabilistic Bisimulation as a Congruence
Articolo
Simplification Rules for Intuitionistic Propositional Tableaux
Articolo
No Results Found
