Forward and Backward Chaining in Linear Logic

D J Pym, M Winikoff, J Harland

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., Winikoff, M., & Harland, J. (2001). Forward and Backward Chaining in Linear Logic. Paper presented at ENTCS 37, .