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