Light Functional Interpretation

Light Functional Interpretation (2005)

Cached

Download Links

[www.brics.dk]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

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

BibTeX

@INPROCEEDINGS{Hernest05lightfunctional,
    author = {Mircea-dan Hernest},
    title = {Light Functional Interpretation},
    booktitle = {Lecture Notes in Computer Science, 3634:477 – 492, July 2005. Computer Science Logic: 19th International Workshop, CSL},
    year = {2005},
    pages = {477}
}