𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The equational complexity of Lyndon’s algebra

✍ Scribed by Marcel Jackson; George F. McNulty

Publisher
Springer
Year
2011
Tongue
English
Weight
368 KB
Volume
65
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the complexity of equational problems
On the complexity of equational problems in CNF
✍ Reinhard Pichler 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 453 KB

Equational problems (i.e. first-order formulae with quantifier prefix ∃ \* ∀ \* , whose only predicate symbol is syntactic equality) are an important tool in many areas of automated deduction, e.g. restricting the set of ground instances of a clause via equational constraints allows the definition o