Light Functional Interpretation (2005)

Cached

Download Links

by Mircea-dan Hernest
Venue:Lecture Notes in Computer Science, 3634:477 – 492, July 2005. Computer Science Logic: 19th International Workshop, CSL
Citations:2 - 1 self