Towards a navigational logic for graphical structures
From MaRDI portal
Publication:1708184
DOI10.1007/978-3-319-75396-6_7zbMath1383.68064OpenAlexW2786954986MaRDI QIDQ1708184
Elvira Pino, Leen Lambers, Fernando Orejas, Marisa Navarro
Publication date: 4 April 2018
Full work available at URL: http://hdl.handle.net/2117/114889
Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)
Related Items (3)
A navigational logic for reasoning about graph properties ⋮ Institutions for navigational logics for graphical structures ⋮ Monadic second-order incorrectness logic for GP 2
This page was built for publication: Towards a navigational logic for graphical structures
