SEMIRING PROVENANCE FOR BÜCHI GAMES: STRATEGY ANALYSIS WITH ABSORPTIVE POLYNOMIALS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:21)2024
- By:
- Publication type:
- Article
Works matching AU GRÄDEL, ERICH
Results: 15
1
2
A finite-model-theoretic view on propositional proof complexity.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1, doi. 10.46298/LMCS-15(1:4)2019
- By:
- Publication type:
- Article
3
Model-Theoretic Properties of ω-Automatic Structures.
- Published in:
- Theory of Computing Systems, 2014, v. 55, n. 4, p. 856, doi. 10.1007/s00224-013-9508-6
- By:
- Publication type:
- Article
4
Model Checking Games for the Quantitative μ-Calculus.
- Published in:
- Theory of Computing Systems, 2010, v. 47, n. 3, p. 696, doi. 10.1007/s00224-009-9201-y
- By:
- Publication type:
- Article
5
The Variable Hierarchy of the μ-Calculus Is Strict.
- Published in:
- Theory of Computing Systems, 2007, v. 41, n. 1, p. 437, doi. 10.1007/s00224-006-1317-8
- By:
- Publication type:
- Article
6
DEFINABILITY OF LINEAR EQUATION SYSTEMS OVER GROUPS AND RINGS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:12)2013
- By:
- Publication type:
- Article
7
Fixed-Point Logics and Solitaire Games.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 6, p. 675, doi. 10.1007/s00224-004-1147-5
- By:
- Publication type:
- Article
8
Finite Presentations of Infinite Structures: Automata and Interpretations.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 6, p. 641, doi. 10.1007/s00224-004-1133-y
- By:
- Publication type:
- Article
9
Late Follow-up of Patients Who Underwent Palliation for Complex Congenital Heart Disease in Childhood.
- Published in:
- Congenital Heart Disease, 2008, v. 3, n. 2, p. 155, doi. 10.1111/j.1747-0803.2007.00166.x
- By:
- Publication type:
- Article
10
Dependence and Independence.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 399, doi. 10.1007/s11225-013-9479-2
- By:
- Publication type:
- Article
11
Undecidability results on two-variable logics.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 313
- By:
- Publication type:
- Article
12
ON THE NOTION OF LINEAR TIME COMPUTABILITY.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 295, doi. 10.1142/S0129054190000217
- By:
- Publication type:
- Article
13
Limitations of the invertible-map equivalences.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 5, p. 961, doi. 10.1093/logcom/exac058
- By:
- Publication type:
- Article
14
Logics of dependence and independence: The local variants.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 7, p. 1690, doi. 10.1093/logcom/exab043
- By:
- Publication type:
- Article
15
RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 54, doi. 10.1017/jsl.2018.33
- By:
- Publication type:
- Article