Heinz-Dieter Ebbinghaus

Publication Activity (10 Years)

Years Active: 1980-2000
Publications (10 Years): 0

Publications

Dirk van Dalen, Heinz-Dieter Ebbinghaus
Zermelo and the Skolem paradox. Bull. Symb. Log. 6 (2) (2000)
Heinz-Dieter Ebbinghaus
Is There a Logic for Polynomial Time? Log. J. IGPL 7 (3) (1999)
Heinz-Dieter Ebbinghaus
Logic Colloqium '95, Haifa, Israel. Arch. Math. Log. 38 (4-5) (1999)
Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, Mario Rodríguez-Artalejo
European Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 54 (2) (1989)
Heinz-Dieter Ebbinghaus
Domino Threads and Complexity. Computation Theory and Logic (1987)
Heinz-Dieter Ebbinghaus
Undecidability Of Some Domino Connectability Problems. Math. Log. Q. 28 (22-24) (1982)
Heinz-Dieter Ebbinghaus, Martin Ziegler
Interpolation in Logiken monotoner Systeme. Arch. Math. Log. 22 (1-2) (1980)