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

View/Open
Series
Department of Computer Science Technical Report;723 - 1996
Metadata
Show full item record
Authors
Ritter, Eike; Pym, David; Wallen, Lincoln
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/4574
Collections