Notes towards a semantics for Proof-Search

D J Pym

Research output: Contribution to conference › Paper

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

Conference

ConferenceENTCS 37
Period1/01/01 → …

Cite this