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

Heinz-Dieter Ebbinghaus Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (5. Aufl.). Spektrum Akademischer Verlag 2007: I-IX, 1-339
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus: Ernst Zermelo - an approach to his life and work. Springer 2007: I-XIV, 1-356
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk van Dalen, Heinz-Dieter Ebbinghaus: Zermelo and the Skolem paradox. Bulletin of Symbolic Logic 6(2): 145-161 (2000)
1999
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus: Preface Logic Colloqium '95, Haifa, Israel. Arch. Math. Log. 38(4-5): 203 (1999)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus: Is There a Logic for Polynomial Time? Logic Journal of the IGPL 7(3): 359-374 (1999)
1996
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (4. Aufl.). Spektrum Akadem. Verl. 1996: I-X, 1-309
1995
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, Jörg Flum: Finite model theory. Springer 1995: I-XV, 1-327
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical logic (2. ed.). Springer 1994: I-X, 1-289
1992
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (3. Aufl.). BI-Wissenschaftsverlag 1992: I-X, 1-338
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, J. Fernandez-Prida, M. Garrido, Daniel Lascar, Mario Rodríguez-Artalejo: European Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 54(2): 647-672 (1989)
1987
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus: Domino Threads and Complexity. Computation Theory and Logic 1987: 131-142
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical logic. Springer 1984: I-IX, 1-216

Coauthor Index

1Dirk van Dalen [10]
2J. Fernandez-Prida [3]
3Jörg Flum [1] [4] [5] [6] [7] [12]
4M. Garrido [3]
5Daniel Lascar [3]
6Mario Rodríguez-Artalejo [3]
7Wolfgang Thomas [1] [4] [5] [7] [12]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page