Open Proofs and Open Terms: A Basis for Interactive Logic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-45793-3_36 ◽

2002 ◽

pp. 537-552 ◽

Cited By ~ 17

Author(s):

Herman Geuvers ◽

Gueorgui I. Jojgov

Download Full-text