| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 13 |      | Robert Cowen: Generalized Davis-Putnam and satisfiability problems in mathematics. Logic Journal of the IGPL 18(3): 456-463 (2010) |
| 2009 | ||
| 12 | | Robert Cowen: 2-CNFS and Logical Embeddings. Studia Logica 93(1): 15-19 (2009) |
| 2008 | ||
| 11 | | L. J. Cowen, Robert Cowen, Arthur Steinberg: Totally Greedy Coin Sets and Greedy Obstructions. Electr. J. Comb. 15(1): (2008) |
| 2007 | ||
| 10 | | Robert Cowen, Stephen H. Hechler, John W. Kennedy, Arthur Steinberg: Odd neighborhood transversals on grid graphs. Discrete Mathematics 307(17-18): 2200-2208 (2007) |
| 9 | | Robert Cowen, Adam Kolany: Davis-Putnam Style Rules for Deciding Property S. Fundam. Inform. 79(1-2): 5-15 (2007) |
| 2001 | ||
| 8 | | Robert Cowen: Property S. Reports on Mathematical Logic 35: 61-74 (2001) |
| 1998 | ||
| 7 | | Robert Cowen: A Compactness Theorem for Infinite Constraint Satisfaction. Reports on Mathematical Logic 32: 97-107 (1998) |
| 1996 | ||
| 6 | | Robert Cowen, William Emerson: A compactness theorem for linear equations. Studia Logica 57(2/3): 355-357 (1996) |
| 1993 | ||
| 5 | | Robert Cowen: Some Connections Between Set Theory and Computer Science. Kurt Gödel Colloquium 1993: 14-22 |
| 4 | | Robert Cowen, Katherine Wyatt: BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas. Notre Dame Journal of Formal Logic 34(4): 602-606 (1993) |
| 3 | | Robert Cowen: Combinatorial Analytic Tableaux. Reports on Mathematical Logic 27: 29-39 (1993) |
| 1991 | ||
| 2 | | Robert Cowen: Hypergraph Satisfiability. Reports on Mathematical Logic 25: (1991) |
| 1990 | ||
| 1 | | Robert Cowen: Two Hypergraph Theorems Equivalent to BPI. Notre Dame Journal of Formal Logic 31(2): 232-240 (1990) |
| 1 | L. J. Cowen | [11] |
| 2 | William Emerson | [6] |
| 3 | Stephen H. Hechler | [10] |
| 4 | John W. Kennedy | [10] |
| 5 | Adam Kolany | [9] |
| 6 | Arthur Steinberg | [10] [11] |
| 7 | Katherine Wyatt | [4] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page