skip to main content
Show Results with:

Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity

Barker-Plummer, D. et al.

Journal of visual languages and computing. VOL 22; NUMBER 1, ; 2011, 56-65 -- Elsevier Science B.V., Amsterdam -- 2011

Check library holdings

Searching Remote Databases, Please Wait