scientific article; zbMATH DE number 234035
From MaRDI portal
Publication:5287535
Recommendations
- Essentials of term graph rewriting
- scientific article; zbMATH DE number 2016092
- scientific article; zbMATH DE number 1231508
- Proceedings of the 6th international workshop on computing with terms and graphs, TERMGRAPH 2011, Saarbrücken, Germany, April 2, 2011
- Proceedings of the 7th international workshop on computing with terms and graphs, TERMGRAPH 2013, Rome, Italy, March, 23, 2013
Cited in
(59)- Compiling collapsing rules in certain constructor systems
- Embedding and Confluence of Graph Transformations with Negative Application Conditions
- Lambda calculus with explicit recursion
- Foreword: special issue on term and graph rewriting
- Term-graph rewriting in \textsc{Tom} using relative positions
- Critical pairs in term graph rewriting
- Context-sensitive fusion grammars and fusion grammars with forbidden context are universal
- Bisimilarity in term graph rewriting.
- On term-graph rewrite strategies
- The contractum in algebraic graph rewriting
- Synchronized composition of graph grammar productions
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- scientific article; zbMATH DE number 7450012 (Why is no real title available?)
- Relating graph and term rewriting via Böhm models
- Essentials of term graph rewriting
- Concurrent graph and term graph rewriting
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- Solving equations by graph transformation
- Labelled graph strategic rewriting for social networks
- scientific article; zbMATH DE number 2016092 (Why is no real title available?)
- Initial conflicts for transformation rules with nested application conditions
- Term rewriting: Some experimental results
- Lazy rewriting and eager machinery
- The first-order theory of ground tree rewrite graphs
- Towards ``mouldable code via nested code graph transformation
- Locating the contractum in the double pushout approach
- Decidable call-by-need computations in term rewriting
- On termination of graph rewriting
- Interaction nets and term rewriting systems (extended abstract)
- A complete proof system for nested term graphs
- Proceedings of the first international workshop on term graph rewriting (TERMGRAPH 2002), Barcelona, Spain, October 7, 2002
- Highlights in infinitary rewriting and lambda calculus
- Relating conflict-free stable transition and event models via redex families
- Term-Graph Rewriting Via Explicit Paths
- A dynamic logic for termgraph rewriting
- Semantics and strong sequentiality of priority term rewriting systems
- Lawvere categories as composed PROPs
- Categorical rewriting of term-like structures
- Efficient graph rewriting and its implementation
- Sharing in the graph rewriting calculus
- Programming with narrowing: a tutorial
- A Heterogeneous Pushout Approach to Term-Graph Transformation
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- scientific article; zbMATH DE number 1543055 (Why is no real title available?)
- Descendants and origins in term rewriting.
- Towards a sharing strategy for the graph rewriting calculus
- Graph-based communication in Eden
- Semantics and strong sequentially of priority term rewriting systems
- Proceedings of the 7th international workshop on computing with terms and graphs, TERMGRAPH 2013, Rome, Italy, March, 23, 2013
- Proceedings of the 6th international workshop on computing with terms and graphs, TERMGRAPH 2011, Saarbrücken, Germany, April 2, 2011
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
- Rewriting logic as a semantic framework for concurrency: a progress report
- Using term-graph rewriting models to analyse relative space efficiency
- Nested term graphs (work in progress)
- Term graph rewriting
- A simple parallel implementation of interaction nets in Haskell
- Relative normalization in Deterministic Residual Structures
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5287535)
