Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/28034
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Lambers, Leen |
dc.contributor.author | Orejas Valdés, Fernando |
dc.date | 2014 |
dc.identifier.citation | 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. |
dc.identifier.citation | 978-3-319-09107-5 |
dc.identifier.citation | 10.1007/978-3-319-09108-2-2 |
dc.identifier.uri | http://hdl.handle.net/2117/28034 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-319-09108-2_2 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Logic, Symbolic and mathematical |
dc.subject | Automated deduction |
dc.subject | Graph logic |
dc.subject | Graph properties |
dc.subject | Graph transformation |
dc.subject | Visual modelling |
dc.subject | Lògica matemàtica |
dc.title | Tableau-based reasoning for graph properties |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |