Follow
Erich Grädel
Title
Cited by
Year
Semiring Provenance for B\" uchi Games: Strategy Analysis with Absorptive Polynomials
E Grädel, N Lücking, M Naaf
Logical Methods in Computer Science 20, 2024
32024
Semiring Provenance in the Infinite
S Brinke, E Grädel, L Mrkonjić, M Naaf
The Provenance of Elegance in Computation-Essays Dedicated to Val Tannen (2024), 2024
2024
Ehrenfeucht-Fra\" iss\'e Games in Semiring Semantics
S Brinke, E Grädel, L Mrkonjić
arXiv preprint arXiv:2308.04910, 2023
22023
Limitations of the invertible-map equivalences
A Dawar, E Grädel, M Lichter
Journal of Logic and Computation 33 (5), 961-969, 2023
152023
Locality theorems in semiring semantics
C Bizière, E Grädel, M Naaf
arXiv preprint arXiv:2303.12627, 2023
12023
Separation logic and logics with team semantics
D Haase, E Grädel, R Wilke
Annals of Pure and Applied Logic 173 (10), 103063, 2022
12022
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
R Albert, E Grädel
Annals of Pure and Applied Logic 173 (10), 103088, 2022
62022
Zero-one laws and almost sure valuations of first-order logic in semiring semantics
E Grädel, H Helal, M Naaf, R Wilke
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
82022
Logic and Random Discrete Structures
E Grädel, PG Kolaitis, M Noy, M Naaf
2022
A finite-model-theoretic view on propositional proof complexity
E Grädel, M Grohe, B Pago, W Pakusa
Logical Methods in Computer Science 15, 2022
202022
Logics with multiteam semantics
E Grädel, R Wilke
ACM Transactions on Computational Logic (TOCL) 23 (2), 1-30, 2022
82022
Logic and Random Discrete Structures (Dagstuhl Seminar 22061)
E Grädel, PG Kolaitis, M Noy, M Naaf
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022
2022
Logics of dependence and independence: The local variants
E Grädel, P Pützstück
Journal of Logic and Computation 31 (7), 1690-1715, 2021
42021
Citations for the test-of-time award from 2001
P Abdulla, E Grädel, R Jagadeesan
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer …, 2021
2021
Semiring provenance for guarded logics
KM Dannert, E Grädel
Hajnal Andréka and István Németi on Unity of Science: From Computing to …, 2021
92021
Elementary equivalence versus isomorphism in semiring semantics
E Grädel, L Mrkonjić
arXiv preprint arXiv:2102.05473, 2021
32021
29th EACSL Annual Conference on Computer Science Logic, CSL 2021
C Baier, J Goubault-Larrecq
12021
Tree automata with constraints on infinite trees
P Landwehr
Dissertation, RWTH Aachen University, 2021, 2021
12021
Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic
E Aladova, P Barceló, J van Benthem, G Berger, KM Dannert, N Dewar, ...
2021
Semiring provenance for fixed-point logic
K Dannert, E Grädel, N Naaf, V Tannen
Conference on Computer Science Logic, CSL 2021,, 2021
182021
The system can't perform the operation now. Try again later.
Articles 1–20