scientific article
From MaRDI portal
Publication:4038726
zbMATH Open0774.68071MaRDI QIDQ4038726FDOQ4038726
Publication date: 18 May 1993
Title of this publication is not available (Why is that?)
Recommendations
equational theoriesalgebraic specificationfirst order theoryregular tree languagesort constraintsrational tree languageautomatic inductive proofsequations between termstransformation rules for first order formulas
Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Abstract data types; algebraic specification (68Q65)
Cited In (21)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Completion of rewrite systems with membership constraints
- Complete axiomatizations of some quotient term algebras
- Equational formulas and pattern operations in initial order-sorted algebras
- Recognizable tree-languages and nonlinear morphisms
- Encompassment properties and automata with constraints
- Metalevel algorithms for variant satisfiability
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Title not available (Why is that?)
- Confluence of terminating membership conditional TRS
- Unification in sort theories and its applications
- Set constraints and automata
- Equational formulae with membership constraints
- Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
- Equational completion in order-sorted algebras
- Semantics of order-sorted specifications
- A method for simultaneous search for refutations and models by equational constraint solving
- The first order theory of primal grammars is decidable
- Pumping, cleaning and symbolic constraints solving
- Regular substitution sets: A means of controlling E-unification
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 Q4038726)
