2007 | ||
---|---|---|
7 | EE | Robert Cowen, Adam Kolany: Davis-Putnam Style Rules for Deciding Property S. Fundam. Inform. 79(1-2): 5-15 (2007) |
2002 | ||
6 | EE | Adam Kolany: Grabowski Lattices are Generated by Graphs. Reports on Mathematical Logic 36: 63-69 (2002) |
1997 | ||
5 | Adam Kolany: Consequence Operations Based on Hypergraph Satisfiability. Studia Logica 58(2): 261-272 (1997) | |
1993 | ||
4 | Adam Kolany: On the Logic of Hypergraphs. Kurt Gödel Colloquium 1993: 231-242 | |
3 | EE | Adam Kolany: Hypergraphs and the Intuitionistic Propositional\break Calculus. Reports on Mathematical Logic 27: 55-66 (1993) |
2 | Adam Kolany: Satisfiability on hypergraphs. Studia Logica 52(3): 393-404 (1993) | |
1991 | ||
1 | EE | Adam Kolany, Piotr Wojtylak: Restricted Versions of the Compactness Theorem. Reports on Mathematical Logic 25: (1991) |
1 | Robert Cowen | [7] |
2 | Piotr Wojtylak | [1] |