On boolean functions and connected sets
- 1 September 1971
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 5 (3), 259-270
- https://doi.org/10.1007/bf01694182
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Practical decidabilityJournal of Computer and System Sciences, 1975
- Horn sentencesAnnals of Mathematical Logic, 1970
- Lengths of Formulas and Elimination of Quantifiers IPublished by Elsevier ,1968
- Reduced products, Horn sentences, and decision problemsBulletin of the American Mathematical Society, 1967
- Elementary properties of Abelian groupsFundamenta Mathematicae, 1955
- Definability and decision problems in arithmeticThe Journal of Symbolic Logic, 1949
- Binomial Coefficients Modulo a PrimeThe American Mathematical Monthly, 1947