Abstract
We show that two Boolean terms which are unifiable have a most general unifier, which can be described using the terms themselves and a single unifier. Techniques for finding a single unifier are given.
| Original language | English |
|---|---|
| Pages (from-to) | 381-396 |
| Number of pages | 16 |
| Journal | Journal of Automated Reasoning |
| Volume | 4 |
| Issue number | 4 |
| DOIs | |
| State | Published - Dec 1988 |
| Externally published | Yes |
Keywords
- Boolean algebra
- Boolean ring
- string equations
- unification
Fingerprint
Dive into the research topics of 'Unification in Boolean rings'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver