To access the full text documents, please follow this link: 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
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Springer
         

Show full item record

Related documents

Other documents of the same author

Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa
Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando
 

Coordination

 

Supporters