E-LIB Suche - Ergebnisse für: Grädel, Erich

1

Limitations of choiceless computation

Aachen, RWTH Aachen University, 2023

Pago, Benedikt , 2023

Link: https://nbn-resolving.de..

2

Reasoning about dependence and independence

teams and multiteams

Wilke, Richard Marlon , 2022

Link: https://nbn-resolving.de..

3

Logics with Multiteam Semantics:

Grädel, Erich ; Wilke, Richard
ACM Transactions on Computational Logic (TOCL). 23 (2022) 2 - p. 1-30 , 2022

Link: https://dl.acm.org/doi/1..

4

Separation logic and logics with team semantics:

Haase, Darion ; Grädel, Erich ; Wilke, Richard
Annals of Pure and Applied Logic. 173 (2022) 10 - p. 103063 , 2022

Link: https://doi.org/10.1016/..

5

Limitations of the invertible-map equivalences:

Dawar, Anuj ; Grädel, Erich ; Lichter, Moritz
Journal of Logic and Computation. 33 (2022) 5 - p. 961-969 , 2022

Link: https://doi.org/10.1093/..

6

Unifying hidden-variable problems from quantum mechanics by..:

Albert, Rafael ; Grädel, Erich
Annals of Pure and Applied Logic. 173 (2022) 10 - p. 103088 , 2022

Link: https://doi.org/10.1016/..

7

Logics with Multiteam Semantics:

Grädel, Erich ; Wilke, Richard
ACM Transactions on Computational Logic. 23 (2022) 2 - p. 1-30 , 2022

Link: https://doi.org/10.1145/..

8

Zero-One Laws and Almost Sure Valuations of First-Order Log..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Grädel, Erich ; Helal, Hayyan ; Naaf, Matthias. - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

9

Tree automata with constraints on infinite trees:

Landwehr, Patrick , 2021

Link: https://nbn-resolving.de..

10

Citations for the test-of-time award from 2001:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Abdulla, Parosh ; (chair), Manuel Bodirsky ; Grädel, Erich. - p. 1 ff. , 2021

Link: https://dl.acm.org/doi/1..

11

Logics of dependence and independence: The local variants:

Grädel, Erich ; Pützstück, Phil
Journal of Logic and Computation. 31 (2021) 7 - p. 1690-1715 , 2021

Link: https://doi.org/10.1093/..

12

Semiring Provenance for Guarded Logics:

, In: Hajnal Andréka and István Németi on Unity of Science; Outstanding Contributions to Logic,

Dannert, Katrin M. ; Grädel, Erich - p. 53-79 , 2021

Link: https://doi.org/10.1007/..

13

Convergence and Nonconvergence Laws for Random Expansions o..:

, In: Fields of Logic and Computation III; Lecture Notes in Computer Science,

Dawar, Anuj ; Grädel, Erich ; Hoelzel, Matthias - p. 118-132 , 2020

Link: https://doi.org/10.1007/..

14

Automatic Structures : Twenty Years Later:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Grädel, Erich - p. 21-34 , 2020

Link: https://dl.acm.org/doi/1..

15

Choiceless computation and logic:

Schalthöfer, Svenja , 2019

Link: https://nbn-resolving.de..