Searching for "Associative-Commutative Unification." – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Adventures in Associative-Commutative Unification
- …Appeared in JSC 1989, vol 8 Adventures in Associative-Commutative Unification PATRICK LINCOLN…
- Cited by 19 (0 self) – Add To MetaCart
-
Double-Exponential Complexity of Computing a Complete Set of AC-Unifiers
- …-equivalent (restricted to the variables in s and t). Associative-commutative unification plays an important role…
- Cited by 17 (0 self) – Add To MetaCart
-
Any Ground Associative-Commutative Theory Has a Finite Canonical System
- …Any ground associative-commutative theory has a ��nite canonical system Paliath Narendran Micha…
- Cited by 19 (4 self) – Add To MetaCart
-
Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench
- … for associative commutative unification have been implemented in an objectoriented style. Unifiers are selected…
- Cited by 2 (1 self) – Add To MetaCart
-
Solution of the Robbins Problem
- …: Associative-commutative unification, Boolean algebra, EQP, equational logic, paramodulation, Robbins algebra…
- Cited by 101 (3 self) – Add To MetaCart
-
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
- … property for Petri-Nets, in associative-commutative unification [1], in constrained logic programming…
- Cited by 17 (0 self) – Add To MetaCart
-
Diophantine Equations, Presburger Arithmetic and Finite Automata
- …, such as associative commutative unification, constraint logic programming, compiler optimization,... The first…
- Cited by 54 (1 self) – Add To MetaCart
-
Term Rewriting In Associative Commutative Theories With Identities
- … using associative-commutative unification, a process that is in many cases particularly time…
- Cited by 2 (0 self) – Add To MetaCart
-
A Logical Semantics For Nonmonotonic Sorts
- …) . These structures can be combined by an associative and commutative unification operation. FSs are rederived from…
- Cited by 9 (0 self) – Add To MetaCart
-
A Unification- and Object-Based Symbolic Computation System
- …] was chosen for implementation of associative commutative unification. For the declaration of the ac…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
