A Spatial Logic for Querying Graphs.

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Browse the full ICALP paper archive.