Robert H. Cowen

Available identifiers

Publication	Date of Publication	Type
A Beginner's Guide to Mathematical Logic	2018-07-11	Paper
Deleting Edges from Ramsey Minimal Examples	2016-01-11	Paper
Generalized Davis-Putnam and satisfiability problems in mathematics	2010-07-26	Paper
2-cnfs and logical embeddings	2009-11-04	Paper
Odd neighborhood transversals on grid graphs	2007-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4824884	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4798546	2003-11-05	Paper
A compactness theorem for linear equations	1996-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4305338	1995-01-22	Paper
BREAKUP: A preprocessing algorithm for satisfiability testing of CNF formulas	1994-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4025013	1993-02-22	Paper
Two hypergraph theorems equivalent to BPI	1990-01-01	Paper
Compactness via prime semilattices	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947641	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3952103	1982-01-01	Paper
Generalizing Konig's infinity lemma	1977-01-01	Paper
Binary consistent choice on triples	1977-01-01	Paper
Elementary Equivalence and Constructible Models of Zermelo‐Fraenkel Set Theory	1976-01-01	Paper
A characterization of logical consequence in quantification theory	1975-01-01	Paper
Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem	1973-01-01	Paper
A short proof of Rado's lemma	1972-01-01	Paper
Superinductive classes in class-set theory	1971-01-01	Paper
A new proof of the compactness theorem for propositional logic	1970-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert H. Cowen