A semantics for reductive logic and proof-search

D. J. Pym, E. Ritter

Research output: Book/ReportOther report

31 Downloads (Pure)
Original languageEnglish
Place of PublicationBath, U. K.
PublisherDepartment of Computer Science, University of Bath
Publication statusPublished - Mar 2004

Publication series

NameComputer Science Technical Reports
No.CSBU-2004-01
ISSN (Print)1740-9497

Cite this

Pym, D. J., & Ritter, E. (2004). A semantics for reductive logic and proof-search. (Computer Science Technical Reports; No. CSBU-2004-01). Department of Computer Science, University of Bath.