JOURNAL ARTICLE

Embedding boolean expressions into logic programming

Wolfram BüttnerHelmut Simonis

Year: 1987 Journal:   Journal of Symbolic Computation Vol: 4 (2)Pages: 191-205   Publisher: Elsevier BV
Keywords:
Boolean expression Mathematics Product term Boolean circuit Two-element Boolean algebra Parity function Embedding Complete Boolean algebra Boolean function Theoretical computer science Algebra over a field Discrete mathematics Computer science Artificial intelligence Pure mathematics

Metrics

112
Cited By
9.68
FWCI (Field Weighted Citation Impact)
18
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
semigroups and automata theory
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Embedding defeasible logic into logic programming

Grigoris AntoniouDavid P. BillingtonGuido GovernatoriMichael J. Maher

Journal:   Theory and Practice of Logic Programming Year: 2006 Vol: 6 (6)Pages: 703-735
BOOK-CHAPTER

Boolean Expressions, Logic, and Proof

Tom JenkynsBen Stephenson

Undergraduate topics in computer science Year: 2018 Pages: 81-136
JOURNAL ARTICLE

Programming Boolean expressions for testability

Allan L White

Year: 2005 Vol: 9 Pages: 3110-3122
BOOK-CHAPTER

Boolean Expressions, Logic, and Proof

Tom JenkynsBen Stephenson

Undergraduate topics in computer science Year: 2012 Pages: 77-130
© 2026 ScienceGate Book Chapters — All rights reserved.