Show simple item record

Proof-terms for classical and intuitionistic resolution (extended abstract)

dc.contributor.authorRitter, Eike
dc.contributor.authorPym, David
dc.contributor.authorWallen, Lincoln
dc.date.accessioned2013-12-02T09:41:21Z
dc.date.available2013-12-02T09:41:21Z
dc.date.issued2013-12-02
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/4574
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Technical Report;723 - 1996
dc.subjectclassical logicen_US
dc.subjectintuitionistic logicen_US
dc.titleProof-terms for classical and intuitionistic resolution (extended abstract)en_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail
Name:
723_Ritter_Pym&Wallen_1996.pdf
Size:
915.1Kb
Format:
application/
View/Open

This item appears in the following Collection(s)

Show simple item record