Adam Kolany

According to our database, Adam Kolany authored at least 8 papers between 1991 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2010

Reversed Resolution in Reducing General Satisfiability Problem.

Adam Kolany

Stud Logica, 2010

2007

Davis-Putnam Style Rules for Deciding Property S.

Robert Cowen, Adam Kolany

Fundam. Informaticae, 2007

2002

Grabowski Lattices are Generated by Graphs.

Adam Kolany

Reports Math. Log., 2002

1997

Consequence Operations Based on Hypergraph Satisfiability.

Adam Kolany

Stud Logica, 1997

1993

Satisfiability on hypergraphs.

Adam Kolany

Stud Logica, 1993

Hypergraphs and the Intuitionistic Propositional\break Calculus.

Adam Kolany

Reports Math. Log., 1993

On the Logic of Hypergraphs.

Adam Kolany

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1991

Restricted Versions of the Compactness Theorem.

Adam Kolany, Piotr Wojtylak

Reports Math. Log., 1991