𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving

✍ Scribed by H. Comon

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
699 KB
Volume
25
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Completion of Rewrite Systems with Membe
Completion of Rewrite Systems with Membership Constraints Part I: Deduction Rules
✍ H. Comon πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 562 KB

We consider a constrained equational logic where the constraints are membership conditions t ∈ s where s is interpreted as a regular tree language. Our logic includes a fragment of second-order equational logic (without projections) where second-order variables range over regular sets of contexts. T

Solving geometric constraint systems. II
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
✍ Xiao-Shan Gao; Shang-Ching Chou πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 947 KB

This paper reports a geometric constraint-solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equations and give complete methods of deciding whether the constraints are independent and whether a constraint system is over-constra