Proceedings Fourth Workshop on Classical Logic and Computation Warwick, England, 8th July 2012

Find Full text
Publication year
2012
Author(s)
Geuvers, H.
de'Liguoro, U.
Publisher
[S.l.] : EPTCS
Series
Electronic Proceedings in Theoretical Computer Science ; 97
ISBN
20752180
Number of pages
62 p.
DOI
Annotation
Fourth Workshop on Classical Logic and Computation Warwick, England, 8th July 2012
Publication type
Book (monograph)
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/103650   https://hdl.handle.net/2066/103650
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.