Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Mostrati risultati da 1 a 12 di 12
A comprehensive combination framework
2008 S. Ghilardi, E. Nicolini, D. Zucchelli
Detecting decidable classes of finitely ground logic programs with function symbols
2017 M. Calautti, S. Greco, I. Trubitsyna
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
2020 C. Fiorentini, M. Ferrari
An evaluation-driven decision procedure for G3i
2015 M. Ferrari, C. Fiorentini, G. Fiorino
Fixed-point Elimination in the Intuitionistic Propositional Calculus
2019 S. Ghilardi, M.J. Gouveia, L. Santocanale
Higher-order pattern complement and the strict lambda-calculus
2003 A. Momigliano, F. Pfenning
Hypersequents and Systems of Rules
2018 A. Ciabattoni, F.A. Genco
Interpolation Results for Arrays with Length and MaxDiff
2023 S. Ghilardi, A. Gianola, D. Kapur, C. Naso
LTL over description logic axioms
2012 F. Baader, S. Ghilardi, C. Lutz
On the complexity of the disjunction property in intuitionistic and modal logics
2005 M. Ferrari, C. Fiorentini, G. Fiorino
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories
2014 R. Bruttomesso, S. Ghilardi, S. Ranise
Simplification rules for intuitionistic propositional tableaux
2012 M. Ferrari, C. Fiorentini, G. Fiorino
Mostrati risultati da 1 a 12 di 12
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile