Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Heinz-Dieter Ebbinghaus

> Home > Persons

Person information

affiliation: University of Freiburg, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2007
[b7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0018724
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0018724
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas:
Einführung in die mathematische Logik (5. Aufl.). Spektrum Akademischer Verlag 2007, pp. I-IX, 1-339
[b6]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0017784
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0017784
Heinz-Dieter Ebbinghaus:
Ernst Zermelo - an approach to his life and work. Springer 2007, ISBN 978-3-540-49551-2, pp. I-XIV, 1-356
1996
[b5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0012391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0012391
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas:
Einführung in die mathematische Logik (4. Aufl.). Hochschultaschenbuch, Spektrum Akadem. Verl. 1996, ISBN 978-3-8274-0130-4, pp. I-X, 1-309
1995
[b4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0082516
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0082516
Heinz-Dieter Ebbinghaus, Jörg Flum:
Finite model theory. Perspectives in Mathematical Logic, Springer 1995, ISBN 978-3-540-60149-4, pp. I-XV, 1-327
1994
[b3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0080659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0080659
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas:
Mathematical logic (2. ed.). Undergraduate texts in mathematics, Springer 1994, ISBN 978-3-540-94258-0, pp. I-X, 1-289
1992
[b2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0068900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0068900
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas:
Einführung in die mathematische Logik (3. Aufl.). BI-Wissenschaftsverlag 1992, ISBN 978-3-411-15603-0, pp. I-X, 1-338
1984
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0068899
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0068899
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas:
Mathematical logic. Undergraduate texts in mathematics, Springer 1984, ISBN 978-0-387-90895-3, pp. I-IX, 1-216

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2000
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/DalenE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/DalenE00
Dirk van Dalen, Heinz-Dieter Ebbinghaus:
Zermelo and the Skolem paradox. Bull. Symb. Log. 6(2): 145-161 (2000)
1999
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ebbinghaus99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ebbinghaus99
Heinz-Dieter Ebbinghaus:
Preface Logic Colloqium '95, Haifa, Israel. Arch. Math. Log. 38(4-5): 203 (1999)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Ebbinghaus99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Ebbinghaus99
Heinz-Dieter Ebbinghaus:
Is There a Logic for Polynomial Time? Log. J. IGPL 7(3): 359-374 (1999)
1989
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/EbbinghausFGLR89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/EbbinghausFGLR89
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): 647-672 (1989)
1982
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Ebbinghaus82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Ebbinghaus82
Heinz-Dieter Ebbinghaus:
Undecidability Of Some Domino Connectability Problems. Math. Log. Q. 28(22-24): 331-336 (1982)
1980
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ebbinghaus080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ebbinghaus080
Heinz-Dieter Ebbinghaus, Martin Ziegler:
Interpolation in Logiken monotoner Systeme. Arch. Math. Log. 22(1-2): 1-17 (1980)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1987
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Ebbinghaus87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Ebbinghaus87
Heinz-Dieter Ebbinghaus:
Domino Threads and Complexity. Computation Theory and Logic 1987: 131-142

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.