PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Grädel, Erich"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Provenance Analysis for Logic and Games.

, und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Prof. Dr. Erich Zahn University of Stuttgart

Prof. Dr. Erich Kasper University of Stuttgart

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

Prof. Dr. -Ing. Erich Hahne University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

On Preservation Theorems for Two-Variable Logic., und . Math. Log. Q., (1999)Simple Interpretations Among Complicated Theories.. Inf. Process. Lett., 35 (5): 235-238 (1990)Metafinite Model Theory., und . Inf. Comput., 140 (1): 26-81 (1998)Guarded fixed point logics and the monadic theory of countable trees.. Theor. Comput. Sci., 288 (1): 129-152 (2002)Capturing Complexity Classes by Fragments of Second-Order Logic.. Theor. Comput. Sci., 101 (1): 35-57 (1992)Properties of Almost All Graphs and Generalized Quantifiers., und . Fundam. Inform., 98 (4): 351-372 (2010)Undecidability results on two-variable logics., , und . Arch. Math. Log., 38 (4-5): 313-354 (1999)Tailoring Recursion for Complexity., und . J. Symb. Log., 60 (3): 952-969 (1995)The Freedoms of (Guarded) Bisimulation., und . Johan van Benthem on Logic and Information Dynamics, Springer, (2014)Bisimulation Safe Fixed Point Logic., , und . Advances in Modal Logic, Seite 1-15. College Publications, (2014)