The following pages link to (Q4023829):
Displaying 37 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- Semantics and strong sequentiality of priority term rewriting systems (Q1275017) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Relating graph and term rewriting via Böhm models (Q1924551) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Parallel coherent graph transformations (Q2237338) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Termination of Lazy Rewriting Revisited (Q2873676) (← links)
- On Term-Graph Rewrite Strategies (Q2873679) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- From Outermost Termination to Innermost Termination (Q3599101) (← links)
- Proving Properties of Lazy Functional Programs with Sparkle (Q3599177) (← links)
- An Introduction to the Lambda Calculus (Q3599178) (← links)
- Abstract λ-Calculus Machines (Q3599179) (← links)
- From Interpretation to Compilation (Q3599186) (← links)
- Termination of Priority Rewriting (Q3618597) (← links)
- A term-graph clausal logic: completeness and incompleteness results ★ (Q3643364) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- Convergence in infinitary term graph rewriting systems is simple (Q4585010) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q4991956) (← links)
- Tree representations of the quiver $\widetilde{\mathbb{E}}_{6}$ (Q4997538) (← links)
- Tree representations of the quiver $\widetilde{\mathbb{D}}_{m}$ (Q5029003) (← links)
- Lazy rewriting and eager machinery (Q5055828) (← links)
- Semantics and strong sequentially of priority term rewriting systems (Q5055874) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Singular and plural functions for functional logic programming (Q5410261) (← links)
- An Ontology of States (Q5410449) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
