Search results for: Vincent Aravantinos
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 32-46
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 27-42
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 58-69
Mathematics in Computer Science > 2014 > 8 > 1 > 39-70
Annals of Mathematics and Artificial Intelligence > 2010 > 58 > 3-4 > 155-183