Introspective Metatheoretic Reasoning (1994)

Cached

Download Links

by Fausto Giunchiglia , Alessandro Cimatti
Venue:IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC
Citations:15 - 6 self

Document Versions

Introspective Metatheoretic Reasoning –Fausto Giunchiglia, Alessandro Cimatti — 1994 — IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC