Search results for: Georg Moser
Information and Computation > 2016 > 248 > C > 22-55
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 529-540
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Databases and Knowledge Bases > 639-653
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 142-156
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 11. Rewriting > 652-666
Lecture Notes in Computer Science > Automated Reasoning > Session 5: System Descriptions 1 > 132-138
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 75-89
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Theorem proving > 114-130
Lecture Notes in Computer Science > Automated Deduction — CADE-16 > Session 6: System Descriptions > 212-216
Lecture Notes in Computer Science > Computer Science Logic > Complexity and Proof Complexity > 382-397
Lecture Notes in Computer Science > Computer Science Logic > Induction > 469-483