Skip to main content

Author picture

Erich Grädel

Author of Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

3+ Works 28 Members

Works by Erich Grädel

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings (2009) 16 copies

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) (2007) 8 copies

Automata, logics, and infinite games : a guide to current research (2002) 4 copies

Associated Works

Johan van Benthem on Logic and Information Dynamics (2014) — Contributor — 6 copies

Tagged

Main Associated

computer science (3) fem (1) level:advanced (1) li_3 (1) models of computation (1) Springer (1) theoretical computer science (1) unowned (1) wishlist (1)

Common Knowledge

Occupations: logician
computer scientist

Members

Reviews

No reviews found.

You May Also Like

Associated Authors

Alexandru Baltag

Statistics

Works: 3
Also by: 1
Members: 28
Popularity: #471,396

ISBNs: 10

Pictures

Links

RWTH Aachen profile

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson