Articles with public access mandates - Erich GrädelLearn more
Not available anywhere: 1
Provenance Analysis: A Perspective for Description Logics?
KM Dannert, E Grädel
Description Logic, Theory Combination, and All That: Essays Dedicated to …, 2019
Mandates: German Research Foundation
Available somewhere: 11
Definability of linear equation systems over groups and rings
A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa
Logical Methods in Computer Science 9, 2013
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: German Research Foundation
Semiring provenance for fixed-point logic
K Dannert, E Grädel, N Naaf, V Tannen
Conference on Computer Science Logic, CSL 2021,, 2021
Mandates: US National Science Foundation
Limitations of the invertible-map equivalences
A Dawar, E Grädel, M Lichter
Journal of Logic and Computation 33 (5), 961-969, 2023
Mandates: European Commission
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
Mandates: German Research Foundation
Logics with multiteam semantics
E Grädel, R Wilke
ACM Transactions on Computational Logic (TOCL) 23 (2), 1-30, 2022
Mandates: German Research Foundation
Definability of summation problems for abelian groups and semigroups
FA Zaid, A Dawar, E Grädel, W Pakusa
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2017
Mandates: German Research Foundation
Banach-Mazur Games with Simple Winning Strategies
E Grädel, S Leßenich
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
Mandates: German Research Foundation
Dependency concepts up to equivalence
E Grädel, M Hoelzel
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
Mandates: German Research Foundation
The model-theoretic expressiveness of propositional proof systems
E Grädel, B Pago, W Pakusa
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
Mandates: German Research Foundation
Helsinki, Finland August 3–8, 2015
E Grädel, M Magidor, T Arai, S Awodey
The Bulletin of Symbolic Logic 22 (3), 2016
Mandates: Government of Spain
Publication and funding information is determined automatically by a computer program