Search results for: Arnold Beckmann
Soft Computing > 2017 > 21 > 1 > 191-197
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 53-67
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Tutorials and Invited Talks > 1-12
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Annals of Pure and Applied Logic > 2016 > 167 > 3 > 335-369
Theoretical Computer Science > 2011 > 412 > 39 > 5433-5445
Annals of Pure and Applied Logic > 2010 > 161 > 6 > 711-736
Annals of Pure and Applied Logic > 2005 > 136 > 1-2 > 30-55