Notes towards a semantics for Proof-Search

D J Pym

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 2001
EventENTCS 37 -
Duration: 1 Jan 2001 → …

Conference

ConferenceENTCS 37
Period1/01/01 → …

Cite this

Pym, D. J. (2001). Notes towards a semantics for Proof-Search. Paper presented at ENTCS 37, .