Rewriting for Fitch style natural deductions

Find Full text
Thumbnail
Fulltext:
104040.pdf
Size:
178.6Kb
Format:
PDF
Description:
author's version
Download
Publication year
2004
Author(s)
Geuvers, J.H.
Nederpelt, Rob
Publisher
[S.l.] : Springer
In
Lecture Notes in Computer Science, (2004)Oostrom, Vincent van (ed.), 15th Internat. Conference on Rewriting Techniques and Applications, RTA 2004, Aachen,, pp. 134-154
ISSN
Annotation
15th Internat. Conference on Rewriting Techniques and Applications, RTA 2004, Aachen
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/104040   https://hdl.handle.net/2066/104040
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.