Search results for: Michel Parigot
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 136-153
Lecture Notes in Computer Science > CSL '89 > 309-321
Lecture Notes in Computer Science > Logic Programming > 361-380
Lecture Notes in Computer Science > ESOP '88 > 145-159
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 44-57
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 442-453