We stand with Ukraine  

Robert Cowen

According to our database1, Robert Cowen authored at least 19 papers between 1983 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
A Beginner's Guide to Mathematical Logic.
[BibTeX]
[DOI]
Robert Cowen
Am. Math. Mon., 2018

2015
Deleting Edges from Ramsey Minimal Examples.
[BibTeX]
[DOI]
Robert Cowen
Am. Math. Mon., 2015

2014
Adaptive Fault Diagnosis using Self-Referential Reasoning.
[BibTeX]
[DOI]
Robert Cowen
CoRR, 2014

2012
A Method for Constructing Minimally Unsatisfiable CNFs.
[BibTeX]
[DOI]
Robert Cowen
CoRR, 2012

2010
Generalized Davis-Putnam and satisfiability problems in mathematics.
[BibTeX]
[DOI]
Robert Cowen
Log. J. IGPL, 2010

2009
2-CNFS and Logical Embeddings.
[BibTeX]
[DOI]
Robert Cowen
Stud Logica, 2009

2008
Totally Greedy Coin Sets and Greedy Obstructions.
[BibTeX]
[DOI]
Lenore J. Cowen
,
Robert Cowen
,
Arthur Steinberg
Electron. J. Comb., 2008

2007
Davis-Putnam Style Rules for Deciding Property S.
[BibTeX]
[DOI]
Robert Cowen
,
Adam Kolany
Fundam. Informaticae, 2007

Odd neighborhood transversals on grid graphs.
[BibTeX]
[DOI]
Robert Cowen
,
Stephen H. Hechler
,
John W. Kennedy
,
Arthur Steinberg
Discret. Math., 2007

2001
Property S.
[BibTeX]
[DOI]
Robert Cowen
Reports Math. Log., 2001

1998
A Compactness Theorem for Infinite Constraint Satisfaction.
[BibTeX]
[DOI]
Robert Cowen
Reports Math. Log., 1998

1996
A compactness theorem for linear equations.
[BibTeX]
[DOI]
Robert Cowen
,
William Emerson
Stud Logica, 1996

1993
Combinatorial Analytic Tableaux.
[BibTeX]
[DOI]
Robert Cowen
Reports Math. Log., 1993

BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.
[BibTeX]
[DOI]
Robert Cowen
,
Katherine Wyatt
Notre Dame J. Formal Log., 1993

Some Connections Between Set Theory and Computer Science.
[BibTeX]
[DOI]
Robert Cowen
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1991
Hypergraph Satisfiability.
[BibTeX]
[DOI]
Robert Cowen
Reports Math. Log., 1991

1990
Two Hypergraph Theorems Equivalent to BPI.
[BibTeX]
[DOI]
Robert Cowen
Notre Dame J. Formal Log., 1990

1986
Defective colorings of graphs in surfaces: Partitions into subgraphs of bounded valency.
[BibTeX]
[DOI]
Lenore J. Cowen
,
Robert Cowen
,
Douglas R. Woodall
J. Graph Theory, 1986

1983
Compactness via prime semilattices.
[BibTeX]
[DOI]
Robert Cowen
Notre Dame J. Formal Log., 1983


  Loading...