A semantics for reductive logic and proof-search

D. J. Pym, E. Ritter

Research output: Book/ReportOther report

36 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