## Open Proofs and Open Terms: A Basis for Interactive Logic (2002)

by
Herman Geuvers
,
Gueorgui I. Jojgov

Venue: | COMPUTER SCIENCE LOGIC: 16TH INTERNATIONAL WORKSHOP, CLS 2002, LECTURE NOTES IN COMPUTER SCIENCE 2471 (2002 |

Citations: | 12 - 1 self |