Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig. Modal tableaux based on graph-rules. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 37-42, 1998.
@inproceedings{CastilhoCGH98,
title = {Modal tableaux based on graph-rules},
author = {Marcos A. Castilho and Luis Fariñas del Cerro and Olivier Gasquet and Andreas Herzig},
year = {1998},
tags = {rule-based, graph-rewriting, rules, rewriting},
researchr = {https://researchr.org/publication/CastilhoCGH98},
cites = {0},
citedby = {0},
pages = {37-42},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998},
editor = {Ewa Orlowska and Andrzej Szalas},
}