A Spatial Logic for Querying Graphs

Luca Cardelli, Philippa Gardner, Giorgio Ghelli. A Spatial Logic for Querying Graphs. In Peter Widmayer, Francisco Triguero Ruiz, Rafael Morales Bueno, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo, editors, Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings. Volume 2380 of Lecture Notes in Computer Science, pages 597-610, Springer, 2002. [doi]

Authors

Luca Cardelli

Identified as Luca Cardelli

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google

Giorgio Ghelli

This author has not been identified. It may be one of the following persons: Look up 'Giorgio Ghelli' in Google