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 1992 |
|
| Seifert, Th. |
|
|
Syntax und Semantik der parallelen Programmiersprache PRAM
|
|
|
1992, Heinrich-Heine-Universität Düsseldorf (1992)
|
|
|
|
|
| Rosenthal, J. W., Speckenmeyer, E., Kemp, R. |
|
|
Exact-Satisfiability, a Natural Extension of Set Partitioning
|
|
|
Annals of Mathematics and Artificial Intelligence, Vol. 6, 185-200 (1992)
|
|
|
|
|
| Heusch, P., Speckenmeyer, E. |
|
|
Some Aspects of the Probabilistic Behaviour of Variants of Resolution
|
|
|
Proc. Computer Science Logic 1991 (CSL '91), Springer Verlag (LNCS 626), 164-172 (1992)
|
|
|
|
