dblp.uni-trier.dewww.uni-trier.de

Adam Kolany

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EERobert Cowen, Adam Kolany: Davis-Putnam Style Rules for Deciding Property S. Fundam. Inform. 79(1-2): 5-15 (2007)
2002
6EEAdam 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
3EEAdam 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
1EEAdam Kolany, Piotr Wojtylak: Restricted Versions of the Compactness Theorem. Reports on Mathematical Logic 25: (1991)

Coauthor Index

1Robert Cowen [7]
2Piotr Wojtylak [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)