scientific article; zbMATH DE number 108369
From MaRDI portal
Publication:4023829
Recommendations
Cited in
(48)- Strong and NV-sequentiality of constructor systems
- Semantics and strong sequentiality of priority term rewriting systems
- Context-sensitive rewriting strategies
- Relating graph and term rewriting via Böhm models
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Parallel rewriting of attributed graphs
- Parallel coherent graph transformations
- On modularity in infinitary term rewriting
- Functional programming framework for \textit{GRworkbench}
- From functional programs to interaction nets via the rewriting calculus
- Termination of lazy rewriting revisited
- On term-graph rewrite strategies
- Sharing in the graph rewriting calculus
- Rewriting strategies and strategic rewrite programs
- Three Syntactic Theories for Combinatory Graph Reduction
- From Outermost Termination to Innermost Termination
- Proving Properties of Lazy Functional Programs with Sparkle
- An Introduction to the Lambda Calculus
- Abstract λ-Calculus Machines
- From Interpretation to Compilation
- Termination of Priority Rewriting
- A term-graph clausal logic: completeness and incompleteness results ★
- Distributed computation by graph reduction
- scientific article; zbMATH DE number 4030948 (Why is no real title available?)
- scientific article; zbMATH DE number 4043221 (Why is no real title available?)
- scientific article; zbMATH DE number 44324 (Why is no real title available?)
- The Impact of the Lambda Calculus in Logic and Computer Science
- scientific article; zbMATH DE number 1086663 (Why is no real title available?)
- Convergence in infinitary term graph rewriting systems is simple
- Strategic port graph rewriting: an interactive modelling framework
- scientific article; zbMATH DE number 194911 (Why is no real title available?)
- Categorical rewriting of term-like structures
- scientific article; zbMATH DE number 1393310 (Why is no real title available?)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- Models of the lambda calculus: an introduction
- Tree representations of the quiver \(\widetilde{\mathbb{E}}_6\)
- Tree representations of the quiver \(\widetilde{\mathbb{D}}_m \)
- Lazy rewriting and eager machinery
- Semantics and strong sequentially of priority term rewriting systems
- Recursive Functions with Pattern Matching in Interaction Nets
- On graph rewriting, reduction, and evaluation in the presence of cycles
- Functional programming with graphs
- Singular and plural functions for functional logic programming
- An Ontology of States
- Parallel graph rewriting on loosely coupled machine architectures
- Concrete data structures and functional parallel programming
- The narrowing-driven approach to functional logic program specialization
- A compact fixpoint semantics for term rewriting systems
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 Q4023829)
