2007 | ||
---|---|---|
9 | EE | Robert Cowen, Stephen H. Hechler, John W. Kennedy, Arthur Steinberg: Odd neighborhood transversals on grid graphs. Discrete Mathematics 307(17-18): 2200-2208 (2007) |
8 | EE | Robert Cowen, Adam Kolany: Davis-Putnam Style Rules for Deciding Property S. Fundam. Inform. 79(1-2): 5-15 (2007) |
2001 | ||
7 | EE | Robert Cowen: Property S. Reports on Mathematical Logic 35: 61-74 (2001) |
1998 | ||
6 | EE | Robert Cowen: A Compactness Theorem for Infinite Constraint Satisfaction. Reports on Mathematical Logic 32: 97-107 (1998) |
1996 | ||
5 | Robert Cowen, William Emerson: A compactness theorem for linear equations. Studia Logica 57(2/3): 355-357 (1996) | |
1993 | ||
4 | Robert Cowen: Some Connections Between Set Theory and Computer Science. Kurt Gödel Colloquium 1993: 14-22 | |
3 | EE | Robert Cowen: Combinatorial Analytic Tableaux. Reports on Mathematical Logic 27: 29-39 (1993) |
1991 | ||
2 | EE | 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 | William Emerson | [5] |
2 | Stephen H. Hechler | [9] |
3 | John W. Kennedy | [9] |
4 | Adam Kolany | [8] |
5 | Arthur Steinberg | [9] |