scientific article
From MaRDI portal
Publication:4038726
zbMath0774.68071MaRDI QIDQ4038726
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationregular tree languageequational theoriesfirst order theorysort constraintsrational tree languageautomatic inductive proofsequations between termstransformation rules for first order formulas
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle ⋮ Confluence of terminating membership conditional TRS ⋮ Equational formulas and pattern operations in initial order-sorted algebras ⋮ Encompassment properties and automata with constraints ⋮ Regular substitution sets: A means of controlling E-unification ⋮ Unification in sort theories and its applications ⋮ Metalevel algorithms for variant satisfiability ⋮ Unnamed Item ⋮ Pumping, cleaning and symbolic constraints solving ⋮ Semantics of order-sorted specifications ⋮ A method for simultaneous search for refutations and models by equational constraint solving ⋮ Complete axiomatizations of some quotient term algebras ⋮ Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras ⋮ Completion of rewrite systems with membership constraints ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ Set constraints and automata ⋮ Recognizable tree-languages and nonlinear morphisms
This page was built for publication:
