Bunched Logic Programming

D J Pym, P Armelin

Research output: Contribution to conferencePaper

9 Citations (Scopus)
Original languageEnglish
Pages289-304
Number of pages16
Publication statusPublished - 2001
EventIJCAR 2001 -
Duration: 1 Jan 2001 → …

Conference

ConferenceIJCAR 2001
Period1/01/01 → …

Cite this

Pym, D. J., & Armelin, P. (2001). Bunched Logic Programming. 289-304. Paper presented at IJCAR 2001, .