Show simple item record

On the intuitionistic force of classical search (extended abstract)

dc.contributor.authorRitter, Eike
dc.contributor.authorPym, David
dc.contributor.authorWallen, Lincoln
dc.date.accessioned2013-12-02T09:51:11Z
dc.date.available2013-12-02T09:51:11Z
dc.date.issued2013-12-02
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/4575
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Technical Report;722 - 1996
dc.subjectintuitionistic logicen_US
dc.titleOn the intuitionistic force of classical search (extended abstract)en_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail
Name:
722_Ritter_Pym&Wallen_1996.pdf
Size:
1.076Mb
Format:
application/
View/Open

This item appears in the following Collection(s)

Show simple item record