Light Functional Interpretation (2005)
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 |