A semantics for reductive logic and proof-search

D. J. Pym, E. Ritter

Research output: Book/ReportOther report

46 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
ISSN (Print)1740-9497

Bibliographical note

ID number: CSBU-2004-01

Cite this