From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions

Thumbnail
Fulltext:
35850.pdf
Size:
453.9Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2006
Author(s)
Geuvers, Herman
Loeb, I.
Publisher
Berlin : Springer
ISBN
3540377913
In
Lecture Notes in Computer Science, (2006)Kralovic, R. (ed.), Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 39-57
ISSN
DOI
Annotation
MFCS 2006
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/35850   https://hdl.handle.net/2066/35850
Display more details

Upload full text

Use your RU or RadboudUMC credentials to log in with SURFconext to upload a file for processing by the repository team.