Verifying graph transformation systems with description logics

DOI10.1007/978-3-319-92991-0_10zbMath1394.68224OpenAlexW2805988959MaRDI QIDQ1663990

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Publication date: 24 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-92991-0_10

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (5)

A strict constrained superposition calculus for graphs ⋮ Unnamed Item ⋮ Parallel rewriting of attributed graphs ⋮ Monadic second-order incorrectness logic for GP 2 ⋮ Incorrectness logic for graph programs

This page was built for publication: Verifying graph transformation systems with description logics