The SCEAS System
Navigation Menu

Search the dblp DataBase


Robert Cowen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Cowen
    Some Connections Between Set Theory and Computer Science. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:14-22 [Conf]
  2. Robert Cowen
    Two Hypergraph Theorems Equivalent to BPI. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:2, pp:232-240 [Journal]
  3. Robert Cowen, William Emerson
    A compactness theorem for linear equations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:355-357 [Journal]
  4. Robert Cowen, Stephen H. Hechler, John W. Kennedy, Arthur Steinberg
    Odd neighborhood transversals on grid graphs. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2007, v:307, n:17-18, pp:2200-2208 [Journal]
  5. Robert Cowen, Adam Kolany
    Davis-Putnam Style Rules for Deciding Property S. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:5-15 [Journal]
  6. Robert Cowen
    Hypergraph Satisfiability. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1991, v:25, n:, pp:- [Journal]
  7. Robert Cowen
    Combinatorial Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:29-39 [Journal]
  8. Robert Cowen
    A Compactness Theorem for Infinite Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1998, v:32, n:, pp:97-107 [Journal]
  9. Robert Cowen
    Property S. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2001, v:35, n:, pp:61-74 [Journal]

Search in 0.025secs, Finished in 0.026secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002