Search results for: Panos Rondogiannis
Theoretical Computer Science > 2017 > 668 > C > 27-42
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 234-253
Lecture Notes in Computer Science > Logic Programming > 414-415
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformation and Equivalence > 25-45
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 44-57
Theoretical Computer Science > 2015 > 574 > Complete > 18-38
Information and Computation > 2012 > 212 > Complete > 1-14
Theoretical Computer Science > 2011 > 412 > 12-14 > 1169-1183
Information and Computation > 2009 > 207 > 9 > 945-967
Information Processing Letters > 2009 > 109 > 11 > 576-581
Information and Computation > 2008 > 206 > 9-10 > 1219-1233
Annals of Pure and Applied Logic > 2008 > 151 > 2-3 > 70-88
Mathematics in Computer Science > 2008 > 2 > 1 > 123-141
Theoretical Computer Science > 2005 > 342 > 2-3 > 382-415
New Generation Computing > 2001 > 19 > 1 > 87-100
Journal of Intelligent Information Systems > 2001 > 17 > 1 > 71-94