Skip to contents

Grädel, Erich [Author]; Otto, Martin [Author] ; Erich Grädel and Martin Otto [Contributor]

Guarded Teams: The Horizontally Guarded Case

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Grädel, Erich [Author]; Hoelzel, Matthias [Author] ; Erich Grädel and Matthias Hoelzel [Contributor]

Dependency Concepts up to Equivalence

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Grädel, Erich [Author]; Hegselmann, Stefan [Author] ; Erich Grädel and Stefan Hegselmann [Contributor]

Counting in Team Semantics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Grädel, Erich [Author]; Pakusa, Wied [Author] ; Erich Grädel and Wied Pakusa [Contributor]

Rank Logic is Dead, Long Live Rank Logic!

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Grädel, Erich [Author]; Leßenich, Simon [Author] ; Erich Grädel and Simon Leßenich [Contributor]

Banach-Mazur Games with Simple Winning Strategies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Wilke, Richard Marlon [Author] ; Grädel, Erich [Degree supervisor]; Lakemeyer, Gerhard [Degree supervisor]; Väänänen, Jouko [Degree supervisor]

Reasoning about dependence and independence : teams and multiteams

View online
Schließen

Access

https://d-nb.info/1255847069/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2022
Dittmann, Christoph [Author] ; Kreutzer, Stephan [Other]; Grädel, Erich [Other]; Nestmann, Uwe [Other]

Parity games, separations, and the modal μ-calculus

View online
Schließen

Access

https://d-nb.info/1156182247/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Universitätsverlag der TU Berlin, 2017

Published in: Foundations of computing ; 9
Winter, Sarah [Author] ; Löding, Christof [Degree supervisor]; Grädel, Erich [Degree supervisor]; Puppis, Gabriele [Degree supervisor]

Synthesis of transducers from relations on finite words and trees

View online
Schließen

Access

https://d-nb.info/119358261X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2018
Lang, Martin Ulrich [Author] ; Löding, Christof [Degree supervisor]; Colcombet, Thomas [Degree supervisor]; Grädel, Erich [Degree supervisor]

Boundedness problems in resource games, logics and automatic structures

View online
Schließen

Access

https://d-nb.info/1130402541/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2016
Huschenbett, Martin [Author] ; Kuske, Dietrich [Degree supervisor]; Lohrey, Markus [Degree supervisor]; Grädel, Erich [Degree supervisor]

The model-theoretic complexity of automatic linear orders

View online
Schließen

Access

https://d-nb.info/1096221039/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ilmenau: Universitätsbibliothek Ilmenau, 2016
Leßenich, Simon Robert [Author] ; Grädel, Erich [Degree supervisor]; Bojańczyk, Mikołaj [Degree supervisor]; Thomas, Wolfgang [Degree supervisor]

Counting logics and games with counters

View online
Schließen

Access

https://d-nb.info/112807706X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2015
Pakusa, Wied [Author] ; Grädel, Erich [Degree supervisor]; Otto, Martin [Degree supervisor]; Dawar, Anuj [Degree supervisor]

Linear equation systems and the search for a logical characterisation of polynomial time

View online
Schließen

Access

https://d-nb.info/1125910623/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2015
Laubner, Bastian [Author] ; Grohe, Martin [Degree supervisor]; Grädel, Erich [Degree supervisor]; Dawar, Anuj [Degree supervisor]

The structure of graphs and new logics for the characterization of Polynomial Time

View online
Schließen

Access

https://d-nb.info/1015129692/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
Grädel, Erich [Author]; Mrkonjić, Lovro [Author]

Elementary equivalence versus isomorphism in semiring semantics

View online
Schließen

Access

Full access (via DOI)

https://publications.rwth-aachen.de/record/814254

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2021
Grädel, Erich [Author]; Mrkonjic, Lovro [Author]

Elementary Equivalence Versus Isomorphism in Semiring Semantics

View online
Schließen

Access

Full access (via DOI)

https://publications.rwth-aachen.de/record/822005

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2021
Grädel, Erich [Author]; Pützstück, Phil [Author]

Logics of Dependence and Independence : The Local Variants

View online
Schließen

Access

Full access (via DOI)

https://publications.rwth-aachen.de/record/814252

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2021
Albert, Rafael [Author]; Grädel, Erich [Author]

Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence

View online
Schließen

Access

Full access (via DOI)

https://publications.rwth-aachen.de/record/814250

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2021
Grädel, Erich [Author]; Schalthöfer, Svenja [Author]

Choiceless Logarithmic Space

View online
Schließen

Access

https://publications.rwth-aachen.de/record/766245

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2019
Grädel, Erich [Author]; Wilke, Richard [Author]

Logics with Multiteam Semantics

View online
Schließen

Access

https://publications.rwth-aachen.de/record/808859

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2020
Grädel, Erich [Author]; Hoelzel, Matthias [Author]

Dependency Concepts up to Equivalence

View online
Schließen

Access

https://publications.rwth-aachen.de/record/735084

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2018

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication