A Complete Proof System for Nested Term Graphs (1995)

Cached

Download Links

by Stefan Blom
Venue:In Proc. HOA '95
Citations:2 - 0 self