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]
@inproceedings{CardelliGG02:0,
title = {A Spatial Logic for Querying Graphs},
author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2380/23800597.htm},
tags = {graph query, graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/CardelliGG02%3A0},
cites = {0},
citedby = {0},
pages = {597-610},
booktitle = {Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
editor = {Peter Widmayer and Francisco Triguero Ruiz and Rafael Morales Bueno and Matthew Hennessy and Stephan Eidenbenz and Ricardo Conejo},
volume = {2380},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43864-5},
}