Exceptions in the rewriting calculus (2001)

by Germain Faure , Claude Kirchner
Venue:PART I AND II. LOGIC JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS
Citations:65 - 26 self