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

Cached

Download Links

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