Adam Kolany

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Publications

Adam Kolany
Reversed Resolution in Reducing General Satisfiability Problem. Stud Logica 95 (3) (2010)
Robert Cowen, Adam Kolany
Davis-Putnam Style Rules for Deciding Property S. Fundam. Informaticae 79 (1-2) (2007)
Adam Kolany
Grabowski Lattices are Generated by Graphs. Reports Math. Log. 36 (2002)
Adam Kolany
Consequence Operations Based on Hypergraph Satisfiability. Stud Logica 58 (2) (1997)
Adam Kolany
Satisfiability on hypergraphs. Stud Logica 52 (3) (1993)
Adam Kolany
Hypergraphs and the Intuitionistic Propositional\break Calculus. Reports Math. Log. 27 (1993)
Adam Kolany
On the Logic of Hypergraphs. Kurt Gödel Colloquium (1993)
Adam Kolany, Piotr Wojtylak
Restricted Versions of the Compactness Theorem. Reports Math. Log. 25 (1991)