Find link

language:

jump to random article

view article
Find link is a tool written by Edward Betts.

searching for Bunched logic 1 found (7 total)

alternate case: bunched logic

Focused proof (1,222 words) [view diff] case mismatch in snippet view article find links to article

2016.16. ISBN 9783959770101. Armelín, Pablo A.; Pym, David J. (2001), "Bunched Logic Programming", Automated Reasoning, Berlin, Heidelberg: Springer Berlin