scientific article
From MaRDI portal
Publication:2769432
zbMath0978.68028MaRDI QIDQ2769432
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300230
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Preserving consistency in geometric modeling with graph transformations, Rewriting Strategies and Strategic Rewrite Programs, Unnamed Item, Unnamed Item, Unnamed Item, High-Level Programs and Program Conditions, Resolution-Like Theorem Proving for High-Level Conditions, Graph Multiset Transformation as a Framework for Massively Parallel Computation, Development of Correct Graph Transformation Systems, Strategic port graph rewriting: an interactive modelling framework, An Algorithm for Approximating the Satisfiability Problem of High-level Conditions, The York Abstract Machine, From imperative to rule-based graph programs, GETGRATS, Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing, A calculus of concurrent graph-rewriting processes, Context-sensitive fusion grammars and fusion grammars with forbidden context are universal, Monadic second-order incorrectness logic for GP 2, Modeling Pointer Redirection as Cyclic Term-graph Rewriting, Undecidable Control Conditions in Graph Transformation Units
Uses Software
