{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:35Z","timestamp":1725456035164},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019021X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026100","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:21Z","timestamp":1132645641000},"page":"117-131","source":"Crossref","is-referenced-by-count":1,"title":["Unification in primal algebras"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Nipkow","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Cheng, C.B. Jones: A Logic Covering Undefinedness in Program Proofs, Acta Informatica 21, 251\u2013269, 1984","journal-title":"Acta Informatica"},{"key":"9_CR2","unstructured":"G. Boole: The Mathematical Analysis of Logic, Macmillan 1847. Reprinted 1948, B. Blackwell."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"W. B\u00fcttner, H. Simonis: Embedding Boolean Expressions into Logic Programming, to appear in Journal of Symbolic Computation, 1987","DOI":"10.1016\/S0747-7171(87)80065-2"},{"key":"9_CR4","unstructured":"J.H. Cheng: A Logic for Partial Functions, Ph.D. Thesis, Dept. of Comp. Sci., The University of Manchester, 1986"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"H. Comon: Sufficient Completeness, Term Rewriting Systems and Anti-Unification, in: 8th Int. Conf. on Automated Deduction, LNCS 230, 1986","DOI":"10.1007\/3-540-16780-3_85"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01180250","volume":"59","author":"A.L. Foster","year":"1953","unstructured":"A.L. Foster: Generalized \u201cBoolean\u201d Theory of Universal Algebra, Math. Zeitschr. 59, 1953, 191\u2013199","journal-title":"Math. Zeitschr."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01111252","volume":"83","author":"A.L. Foster","year":"1964","unstructured":"A.L. Foster, A. Pixley: Semi-Categorical Algebras. I. Semi-Primal Algebras, Math. Zeitschr. 83, 1964, 147\u2013169","journal-title":"Math. Zeitschr."},{"key":"9_CR8","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey, D.S. Johnson, Computers and Intractability, W.H. Freeman and Company, San Francisco, 1979"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"G. Gr\u00e4tzer: Universal Algebra, Second Edition, Springer Verlag, 1979","DOI":"10.1007\/978-0-387-77487-9"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"I.N. Herstein: Noncommutative Rings, The Mathematical Association of America, 1968","DOI":"10.5948\/UPO9781614440154"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF01359711","volume":"189","author":"R.A. Knoebel","year":"1970","unstructured":"R.A. Knoebel: Simplicity vis-\u00e0-vis Functional Completeness, Math. Ann. 189 (1970), 299\u2013307","journal-title":"Math. Ann."},{"key":"9_CR12","first-page":"89","volume":"7","author":"L. L\u00f6wenheim","year":"1908","unstructured":"L. L\u00f6wenheim: \u00dcber das Aufl\u00f6sungsproblem im logischen Klassenkalk\u00fcl, Sitzungsber. Berl. Math. Gesell. 7, 89\u201394, 1908","journal-title":"Sitzungsber. Berl. Math. Gesell."},{"key":"9_CR13","first-page":"506","volume":"230","author":"U. Martin","year":"1986","unstructured":"U. Martin, T. Nipkow: Unification in Boolean Rings, in: 8th Int. Conf. on Automated Deduction, LNCS 230, 1986, 506\u2013513","journal-title":"LNCS"},{"key":"9_CR14","unstructured":"U. Martin, T. Nipkow: Boolean Unification \u2014 A Survey, to appear in Journal of Symbolic Computation"},{"key":"9_CR15","unstructured":"T. Nipkow: Unification in Primal Algebras, their Powers and their Varieties, in preparation"},{"key":"9_CR16","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"E.L. Post","year":"1921","unstructured":"E.L. Post: Introduction to a General Theory of Elementary Propositions, Amer. J. Math. 43, 163\u2013185, 1921","journal-title":"Amer. J. Math."},{"key":"9_CR17","unstructured":"H. Rasiowa: An Algebraic Approach to Non-Classical Logics, North-Holland, 1974"},{"key":"9_CR18","unstructured":"S. Rudeanu: Boolean Functions and Equations, North-Holland, 1974"},{"key":"9_CR19","unstructured":"E. Schr\u00f6der: Vorlesungen \u00fcber die Algebra der Logik, (Leipzig, Vol 1, 1890; Vol 2, 1891, 1905; Vol 3, 1895), Reprint 1966, (Chelsea, Bronx NY)"},{"key":"9_CR20","first-page":"37","volume":"40","author":"M.H. Stone","year":"1936","unstructured":"M.H. Stone: The Theory of Representation for Boolean Algebras, Trans. Amer. Math. Soc. 40, 1936, 37\u2013111","journal-title":"Trans. Amer. Math. Soc."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"E. Tid\u00e9n: Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols, in 8th International Conference on Automated Deduction, Lecture Notes in Computer Science 230, Springer 1986, 431\u2013449","DOI":"10.1007\/3-540-16780-3_110"},{"key":"9_CR22","volume-title":"Einf\u00fchrung in die allgemeine Algebra","author":"H. Werner","year":"1978","unstructured":"H. Werner: Einf\u00fchrung in die allgemeine Algebra, Bibliographisches Institut, Mannheim, Wien, Z\u00fcrich, 1978"}],"container-title":["Lecture Notes in Computer Science","CAAP '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:38:50Z","timestamp":1683297530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019021X"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0026100","relation":{},"subject":[]}}