scientific article; zbMATH DE number 234035
From MaRDI portal
Publication:5287535
zbMATH Open0818.68099MaRDI QIDQ5287535FDOQ5287535
Authors:
Publication date: 9 July 1993
Title of this publication is not available (Why is that?)
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
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)
Cited In (56)
- Compiling Collapsing Rules in Certain Constructor Systems
- Critical pairs in term graph rewriting
- Decidable call-by-need computations in term rewriting
- Term-Graph Rewriting Via Explicit Paths
- Context-sensitive fusion grammars and fusion grammars with forbidden context are universal
- Bisimilarity in term graph rewriting.
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- Towards ``mouldable code via nested code graph transformation
- Programming with narrowing: a tutorial
- Rewriting logic as a semantic framework for concurrency: a progress report
- Relating conflict-free stable transition and event models via redex families
- Initial Conflicts for Transformation Rules with Nested Application Conditions
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- The first-order theory of ground tree rewrite graphs
- Title not available (Why is that?)
- Solving Equations by Graph Transformation
- The contractum in algebraic graph rewriting
- Synchronized composition of graph grammar productions
- Efficient graph rewriting and its implementation
- A Heterogeneous Pushout Approach to Term-Graph Transformation
- Title not available (Why is that?)
- Labelled graph strategic rewriting for social networks
- A complete proof system for Nested Term Graphs
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- A dynamic logic for termgraph rewriting
- Lambda calculus with explicit recursion
- Semantics and strong sequentially of priority term rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Concurrent graph and term graph rewriting
- Sharing in the Graph Rewriting Calculus
- Semantics and strong sequentiality of priority term rewriting systems
- Title not available (Why is that?)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
- Highlights in infinitary rewriting and lambda calculus
- Term rewriting: Some experimental results
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
- Using term-graph rewriting models to analyse relative space efficiency
- On term-graph rewrite strategies
- Proceedings of the first international workshop on term graph rewriting (TERMGRAPH 2002), Barcelona, Spain, October 7, 2002
- Term graph rewriting
- Embedding and Confluence of Graph Transformations with Negative Application Conditions
- Relating graph and term rewriting via Böhm models
- Lazy rewriting and eager machinery
- Foreword: special issue on term and graph rewriting
- Term-graph rewriting in \textsc{Tom} using relative positions
- Interaction nets and term rewriting systems (extended abstract)
- On termination of graph rewriting
- Descendants and origins in term rewriting.
- Towards a sharing strategy for the graph rewriting calculus
- Relative normalization in Deterministic Residual Structures
- Locating the contractum in the double pushout approach
- Lawvere Categories as Composed PROPs
- Categorical rewriting of term-like structures
- Graph-based communication in Eden
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)
