PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Grädel, Erich"

Author of the publication

copydeleteadd this publication to your clipboard
LICS 2001 special issue.

, , , and . ACM Trans. Comput. Log., 4 (3): 295 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hon. -Prof. Dr. -Ing. Erich Schelkle University of Stuttgart

Prof. Dr. Erich Zahn University of Stuttgart

Prof. Dr. Erich Kasper University of Stuttgart

Erich Rittmaier University of Stuttgart

Hon. -Prof. Dr. -Ing. Erich Reinhardt University of Stuttgart

 

Other publications of authors with the same name

Bisimulation Safe Fixed Point Logic., , and . Advances in Modal Logic, page 1-15. College Publications, (2014)The Freedoms of (Guarded) Bisimulation., and . Johan van Benthem on Logic and Information Dynamics, Springer, (2014)Defining Winning Strategies in Fixed-Point Logic., , , and . LICS, page 366-377. IEEE Computer Society, (2015)Rank Logic is dead, Long Live Rank Logic!, and . J. Symb. Log., 84 (1): 54-87 (2019)Backtracking games and inflationary fixed points., , and . Theor. Comput. Sci., 350 (2-3): 174-187 (2006)Backtracking Games and Inflationary Fixed Points., , and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 420-432. Springer, (2004)Complexity of Formula Classes in First Order Logic with Functions.. FCT, volume 380 of Lecture Notes in Computer Science, page 224-233. Springer, (1989)Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations.. STACS, volume 294 of Lecture Notes in Computer Science, page 98-107. Springer, (1988)The Ackermann Award 2006., , and . CSL, volume 4207 of Lecture Notes in Computer Science, page 622-626. Springer, (2006)Guarded fixed point logics and the monadic theory of countable trees.. Theor. Comput. Sci., 288 (1): 129-152 (2002)