Computing in systems described by equations
From MaRDI portal
Cited in
(69)- Fundamental properties of infinite trees
- Models of programs and processes
- On the correspondence between two classes of reduction systems
- Conditional rewrite rules
- Reductions in tree replacement systems
- Termination of rewriting
- Simplifying conditional term rewriting systems: Unification, termination and confluence
- Conditional rewrite rules: Confluence and termination
- Full abstraction and limiting completeness in equational languages
- Enumerating outer narrowing derivations for constructor-based term rewriting systems
- Higher-order rewrite systems and their confluence
- Hierarchical development of programming languages
- Tree equivalence of linear recursive schemata is polynomial-time decidable
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
- Sequentiality in orthogonal term rewriting systems
- Conditional rewriting logic as a unified model of concurrency
- Term-rewriting systems with rule priorities
- Origin tracking
- Pattern-matching algorithms based on term rewrite systems
- Decidable call-by-need computations in term rewriting
- Approximation properties of abstract data types
- Sequentiality, monadic second-order logic and tree automata.
- Descendants and origins in term rewriting.
- Perpetuality and uniform normalization in orthogonal rewrite systems
- From LCF to Isabelle/HOL
- Herbrand theorems in arbitrary institutions
- Evaluation strategies for functional logic programming
- Confluence theory for graphs
- Unification modulo an equality theory for equational logic programming
- Evaluation strategies for functional logic programming
- On term-graph rewrite strategies
- Rewriting strategies and strategic rewrite programs
- scientific article; zbMATH DE number 3926235 (Why is no real title available?)
- Logic and functional programming by retractions : operational semantics
- Verifying abstract data types with SNOBOL4
- Transformations of structures: An algebraic approach
- Default rules for Curry
- Exploring conditional rewriting logic computations
- Needed computations shortcutting needed steps
- Algebraic semantics and complexity of term rewriting systems
- Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
- Confluence and superdevelopments
- Topics in termination
- Optimal normalization in orthogonal term rewriting systems
- Lazy rewriting and eager machinery
- scientific article; zbMATH DE number 7204428 (Why is no real title available?)
- New Undecidability Results for Properties of Term Rewrite Systems
- Evolving combinators
- Collapsed tree rewriting: Completeness, confluence, and modularity
- Normalization by leftmost innermost rewriting
- Extended term rewriting systems
- Infinite terms and infinite rewritings
- Testing confluence of nonterminating rewriting systems
- Decidable sentences of Church-Rosser congruences
- On interreduction of semi-complete term rewriting systems
- On the longest perpetual reductions in orthogonal expression reduction systems
- From innermost to full almost-sure termination of probabilistic term rewriting
- Disproving termination of non-erasing sole combinatory calculus with tree automata
- A sequential reduction strategy
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Modularity in noncopying term rewriting
- Natural termination
- On abstract normalisation beyond neededness
- From innermost to full probabilistic term rewriting: almost-sure termination, complexity, and modularity
- Conditional linearization
- Algebraic and operational semantics of specifications allowing exceptions and errors
- A rationale for conditional equational programming
- Termination of just/fair computations in term rewriting
- Programming with narrowing: a tutorial
This page was built for publication: Computing in systems described by equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1133323)
