Unification in Boolean Rings

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)
Original languageEnglish
Title of host publication8th International Conference on Automated Deduction, Oxford, England, July 27–August 1, 1986 Proceedings
EditorsJorg H Siekmann
PublisherSpringer
Volume230
ISBN (Print)978-3-540-16780-8
DOIs
Publication statusPublished - 1986

Publication series

NameLecture Notes in Computer Science

Cite this