Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/28034

Tableau-based reasoning for graph properties
Lambers, Leen; Orejas Valdés, Fernando
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Logic, Symbolic and mathematical
Automated deduction
Graph logic
Graph properties
Graph transformation
Visual modelling
Lògica matemàtica
Artículo - Versión publicada
info:eu-repo/semantics/conferenceObject
Springer
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen
Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen
Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas Valdés, Fernando
Lambers, Leen; Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira