scientific article; zbMATH DE number 4074540
From MaRDI portal
Publication:3805960
Recommendations
- Adventures in associative-commutative unification
- Associative-commutative unification
- scientific article; zbMATH DE number 3871322
- An algebraic approach to unification under associativity and commutativity
- scientific article; zbMATH DE number 3930337
- Complexity of unification problems with associative-commutative operators
- Unification in commutative theories
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- Unification properties of commutative theories: a categorical treatment
- On the parameterized complexity of associative and commutative unification
Cited in
(25)- Unification in abelian semigroups
- Associative-commutative unification
- An algebraic approach to unification under associativity and commutativity
- A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
- AC-unification race: The system solving approach, implementation and benchmarks
- AC unification through order-sorted AC1 unification
- Adventures in associative-commutative unification
- Competing for the \(AC\)-unification race
- A formally verified solver for homogeneous linear Diophantine equations
- Automata-driven automated induction
- Infinite complete group presentations
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- scientific article; zbMATH DE number 3871322 (Why is no real title available?)
- scientific article; zbMATH DE number 3930337 (Why is no real title available?)
- scientific article; zbMATH DE number 4043300 (Why is no real title available?)
- scientific article; zbMATH DE number 4092822 (Why is no real title available?)
- scientific article; zbMATH DE number 176149 (Why is no real title available?)
- scientific article; zbMATH DE number 1346499 (Why is no real title available?)
- AC-complete unification and its application to theorem proving
- “Syntactic” AC-unification
- Bounded ACh unification
- Mathematical Foundations of Computer Science 2003
- Set-term unification in a logic database language
- Complexity of unification problems with associative-commutative operators
- On the parameterized complexity of associative and commutative 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 Q3805960)
