Search results for: Agata Ciabattoni
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 75-93
Annals of Pure and Applied Logic > 2017 > 168 > 3 > 693-737
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 113-123
Fuzzy Sets and Systems > 2016 > 292 > C > 130-149
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 24-37
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 32-47
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 8. Proof-Theory 2 > 451-466
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 135-149
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Automated Theorem Proving > 201-216
Lecture Notes in Computer Science > Computer Science - Theory and Applications > Accepted Papers > 26-37
Studies in Fuzziness and Soft Computing > Beyond Two: Theory and Applications of Multiple-Valued Logic > Proof Theory and Automated Deduction in Multiple-valued Logics > 157-180
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 119-133
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 77-91