Erich Grädel
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Finite Model Theory and Its Applications
cover - Image source: Open LibraryLA
Logic and automata
cover - Image source: Open LibraryFM
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
cover - Image source: Open LibraryFM
Finite Model Theory and Its Applications
cover - Image source: Open LibraryTC
Classical Decision Problem
cover - LILectures in Game Theory for Com...Erich Grädel
Lectures in Game Theory for Computer Scientists
no cover - CSComputer Science LogicErich Grädel
Computer Science Logic
no cover - ALAutomata, Logics, and Infinite...Erich Grädel
Automata, Logics, and Infinite Games
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Finite Model Theory and Its Applications
- Open Work
Logic and automata
- Open Work
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
- Open Work
Finite Model Theory and Its Applications
- Open Work
Classical Decision Problem
- Open Work
Lectures in Game Theory for Computer Scientists
- Open Work
Computer Science Logic
- Open Work
Automata, Logics, and Infinite Games