The following pages link to Erich Grädel (Q204638):
Displaying 27 items.
- Choiceless Logarithmic Space (Q5092391) (← links)
- (Q5111195) (← links)
- Advice Automatic Structures and Uniformly Automatic Classes (Q5111205) (← links)
- (Q5144628) (← links)
- Automatic Structures (Q5145615) (← links)
- Logics of dependence and independence: The local variants (Q5163987) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
- The Freedoms of (Guarded) Bisimulation (Q5249664) (← links)
- Inflationary fixed points in modal logic (Q5277697) (← links)
- Counting in Team Semantics (Q5278424) (← links)
- STACS 2004 (Q5309683) (← links)
- Positional Determinacy of Games with Infinitely Many Priorities (Q5310671) (← links)
- Rank logic is dead, long live rank logic! (Q5351970) (← links)
- Automata, Languages and Programming (Q5466481) (← links)
- (Q5691140) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705923) (← links)
- Datalog LITE (Q5738951) (← links)
- Back and forth between guarded and modal logics (Q5738962) (← links)
- (Q5874208) (← links)
- The classical decision problem. (Q5944231) (← links)
- Limitations of the invertible-map equivalences (Q6166683) (← links)
- Approximations of Isomorphism and Logics with Linear-Algebraic Operators (Q6314226) (← links)
- Logics of Dependence and Independence: The Local Variants (Q6361148) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6563045) (← links)
- Locality theorems in semiring semantics (Q6647646) (← links)
- Zero-one laws and almost sure valuations of first-order logic in semiring semantics (Q6649475) (← links)
- Semiring provenance for Büchi games: strategy analysis with absorptive polynomials (Q6649515) (← links)
