Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Tableau-based reasoning for graph properties

Autor
Lambers, L.; Orejas, F.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
ICGT 2014 - 7th International Conference on Graph Transformation
Any de l'edició
2014
Data de presentació
2014-07
Llibre d'actes
Graph Transformation: 7th International Conference, ICGT 2014: held as Part of STAF 2014: York, UK, July 22-24, 2014: proceedings
Pàgina inicial
17
Pàgina final
32
Editor
Springer
DOI
10.1007/978-3-319-09108-2_2
Repositori
http://hdl.handle.net/2117/28034 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007%2F978-3-319-09108-2_2 Obrir en finestra nova
Resum
Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. A simple way is based on defining an appropriate encoding of graphs in terms of classical logic. This approach has been followed by Courcelle. The alternative is the definition of a specialized logic, as done by Habel and Pennemann, who defined a logic of nested graph conditions, where graph properties are formulated explicitly making use...
Citació
Lambers, L.; Orejas, F. Tableau-based reasoning for graph properties. A: International Conference on Graph Transformations. "Graph Transformation: 7th International Conference, ICGT 2014: held as Part of STAF 2014: York, UK, July 22-24, 2014: proceedings". York: Springer, 2014, p. 17-32.
Paraules clau
Automated deduction, Graph logic, Graph properties, Graph transformation, Visual modelling
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants