scientific article; zbMATH DE number 2016072
From MaRDI portal
Publication:4438775
zbMath1028.68071MaRDI QIDQ4438775
Publication date: 10 December 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2505/25050135.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Reducibility between classes of port graph grammar. ⋮ Theorem proving graph grammars with attributes and negative application conditions ⋮ Preserving consistency in geometric modeling with graph transformations ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The PBPO graph transformation approach ⋮ Monadic second-order incorrectness logic for GP 2 ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+} ⋮ Incorrectness logic for graph programs ⋮ Verifying graph programs with monadic second-order logic
Uses Software
This page was built for publication:
