12 found
Sort by:
Disambiguations:
Robert Cowen [10]Robert H. Cowen [7]
  1. Robert Cowen (2009). 2-Cnfs and Logical Embeddings. Studia Logica 93 (1):15 - 19.
    The expressive power of 2-cnfs, conjunctive normal forms with two literals per clause, is shown to be severely limited compared to 3-cnfs.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Robert Cowen (1997). Autonomy, Citizenship, Themarketand Education. In David Bridges (ed.), Education, Autonomy, and Democratic Citizenship: Philosophy in a Changing World. Routledge 2--61.
  3. Robert Cowen (1997). The Evaluation of Higher Education Systems. British Journal of Educational Studies 45 (2):213-213.
     
    My bibliography  
     
    Export citation  
  4. Robert Cowen & William Emerson (1996). A Compactness Theorem for Linear Equations. Studia Logica 57 (2-3):355 - 357.
    It is proved that a system of linear equations over an arbitrary field has a solution if every finite subsystem has a solution provided that the set of variables can be well ordered.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Robert Cowen & Katherine Wyatt (1993). BREAKUP: A Preprocessing Algorithm for Satisfiability Testing of CNF Formulas. Notre Dame Journal of Formal Logic 34 (4):602-606.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Robert H. Cowen (1990). Two Hypergrαph Theorems Equivalent toBPI. Notre Dame Journal of Formal Logic 31 (2):232-240.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Robert H. Cowen (1990). Two Hypergraph Theorems Equivalent to ${\Rm BPI}$. Notre Dame Journal of Formal Logic 31 (2):232-240.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Robert H. Cowen (1977). Binary Consistent Choice on Triples. Notre Dame Journal of Formal Logic 18 (2):310-312.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Robert H. Cowen (1977). Generalizing König's Infinity Lemma. Notre Dame Journal of Formal Logic 18 (2):243-247.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Robert H. Cowen (1975). A Characterization of Logical Consequence in Quantification Theory. Notre Dame Journal of Formal Logic 16 (3):375-377.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Robert H. Cowen (1971). Superinductive Classes in Class-Set Theory. Notre Dame Journal of Formal Logic 12 (1):62-68.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Robert H. Cowen (1970). A New Proof of the Compactness Theorem for Propositional Logic. Notre Dame Journal of Formal Logic 11 (1):79-80.