Leitseite
Mitarbeiter
Lehrstuhl
Ehemalige
Lehre
Aktuelle Veranstaltungen
Geplante Veranstaltungen
Frühere Veranstaltungen
Studentische Hilfskräfte
Diplomarbeitsthemen
Vorträge
Kolloquium und Oberseminar
Kolloquium über Parallelverarbeitung
Forschungsprojekte
ÖPNV-Fahrplanung
Erfüllbarkeit
Publikationen
Stellenangebote
Anreiseplan
Universität zu Köln
Math.-Nat. Fakultät
ZAIK
Institut für Informatik
Impressum
english
Publikationen
Bitte wählen Sie ein Jahr aus
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1980
1979
Liste aller Publikationen
Publikationen des Jahres 1995
Seifert, Th., Speckenmeyer, E.
Simulation of Shared Memory Operations on Distributed Memory Machines
SAMS, Vol. 17, 45-66 (1995)
Heusch, P.
The Complexity of the Falsifiability Problem for Pure Implicational Formulas
Proc. 20th Conf. Math. Foundations of Computer Science 1995 (MFCS '95), Springer Verlag (LNCS~969), 221-227 (1995)