scientific article; zbMATH DE number 3930372
From MaRDI portal
Publication:3703312
Recommendations
Cited in
(37)- Structured algebraic specifications: A kernel language
- Simplifying conditional term rewriting systems: Unification, termination and confluence
- A class of confluent term rewriting systems and unification
- Equational specification of partial higher-order algebras
- History and basic features of the critical-pair/completion procedure
- Conditional narrowing modulo a set of equations
- Complete sets of transformations for general E-unification
- Behavioural approaches to algebraic specifications. A comparative study
- Single versus simultaneous equational unification and equational unification for variable-permuting theories
- Incremental constraint satisfaction for equational logic programming
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable
- Horn equational theories and paramodulation
- Basic narrowing revisited
- Unification in permutative equational theories is undecidable
- Higher order unification via explicit substitutions
- Unification in the union of disjoint equational theories: Combining decision procedures
- Kernel-LEAF: A logic plus functional language
- Unification modulo an equality theory for equational logic programming
- scientific article; zbMATH DE number 3938563 (Why is no real title available?)
- scientific article; zbMATH DE number 3960989 (Why is no real title available?)
- scientific article; zbMATH DE number 3978367 (Why is no real title available?)
- scientific article; zbMATH DE number 4022666 (Why is no real title available?)
- scientific article; zbMATH DE number 4031035 (Why is no real title available?)
- scientific article; zbMATH DE number 4043301 (Why is no real title available?)
- scientific article; zbMATH DE number 4047179 (Why is no real title available?)
- SAT Encoding of Unification in $\mathcal{EL}$
- Completion-time optimization of rewrite-time goal solving
- Negation with logical variables in conditional rewriting
- Equation solving in conditional AC-theories
- A new approach to general E-unification based on conditional rewriting systems
- Conditional rewriting logic: Deduction, models and concurrency
- Unification in Łukasiewicz Logic with a Finite Number of Variables
- Unification in a combination of equational theories: an efficient algorithm
- A completion procedure for conditional equations
- On completeness of narrowing strategies
- Conditional equational theories and complete sets of transformations
- The calculus of context relations
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 Q3703312)
