Unification in Boolean rings

DOI10.1007/BF00297246MaRDI QIDQ1112626zbMATH OpenOpenAlexWikidataFDO

Authors Tobias Nipkow, Ursula Martin Webb

Publication date 1988

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00297246

zbMATH Keywords

Boolean algebraunificationstring equationsBoolean rings

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Ring-theoretic properties of Boolean algebras (06E20)

Recommendations

• scientific article; zbMATH DE number 4049133
• Boolean unification - the story so far
• Unification in Boolean rings and Abelian groups
• On the complexity of Boolean unification
• Unification in primal algebras, their powers and their varieties

Cites work

• scientific article; zbMATH DE number 3829296 (Why is no real title available?)
• scientific article; zbMATH DE number 4049130 (Why is no real title available?)
• scientific article; zbMATH DE number 4049133 (Why is no real title available?)
• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 3282724 (Why is no real title available?)
• scientific article; zbMATH DE number 3062907 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Computer-Implemented Set Theory
• Embedding Boolean expressions into logic programming
• New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
• Refutational theorem proving using term-rewriting systems
• The Knuth-Bendix Completion Procedure and Thue Systems

Cited in

(12)

• Boolean unification - the story so far
• Introduction to ``Milestones in interactive theorem proving
• Unification in free distributive lattices
• Boolean unification with predicates
• Finitariness of elementary unification in Boolean region connection calculus
• scientific article; zbMATH DE number 4049133 (Why is no real title available?)
• Hybrid terms and sentences
• Embedding Boolean expressions into logic programming
• Unification algorithms cannot be combined in polynomial time.
• scientific article; zbMATH DE number 16457 (Why is no real title available?)
• On the complexity of Boolean unification
• Unification in Boolean rings and Abelian groups

This page was built for publication: Unification in Boolean rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1112626)