Open proofs and open terms: a basis for interactive logic (2002)

Cached

Download Links

by Herman Geuvers , G. I. Jojgov
Venue:Computer Science Logic: 16th International Workshop, CLS 2002, Lecture Notes in Computer Science 2471 (2002
Citations:16 - 1 self