Search results for: Stefan Berghofer
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 147-163
Lecture Notes in Computer Science > Programming Languages and Systems > Session 2: Functional Programming > 89-104
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 2. Higher-Order Logic > 35-50
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 131-146
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 364-378
Lecture Notes in Computer Science
Journal of Automated Reasoning > 2012 > 49 > 3 > 303-326
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 5 > 53-67
Studia Logica > 2006 > 82 > 1 > 25-49
Studia Logica > 2006 > 82 > 1 > 25-49
Electronic Notes in Theoretical Computer Science > 2004 > 82 > 2 > 377-394