Home
People
Staff
Alumni
Teaching (German)
Current Courses
Future Courses
Past Courses
Student Assistants
Diploma Thesises
Talks
Colloquium (German)
Workshop on Parallel Computing
Research Projects
Public Transport Scheduling
Satisfiability
Publications
Job Offers
How to Reach Us
University of Cologne
Faculty of Mathematics and Natural Sciences
ZAIK
Department of Computer Science
deutsch
Publications
Please choose a year
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
Complete list of publications
Publications of the year 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)
