Search results for: Andreas Abel
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 23-38
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 10-26
Lecture Notes in Computer Science > Frontiers of Combining Systems > Theorem Proving Frameworks and Systems > 285-301
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 8. Proof-Theory 2 > 497-511
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Applications and Technology Track > 381-392
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 54-69
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Type Theory > 57-71
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 10-28