E-LIB Suche - Ergebnisse für: Dawar, Anuj

1

A Logic for P: Are we Nearly There Yet?:

Dawar, Anuj ; Pago, Benedikt
ACM SIGLOG News. 11 (2024) 2 - p. 35-60 , 2024

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

2

Corrigendum to "Homomorphism preservation on quasi-wide cla..:

Dawar, Anuj
Journal of Computer and System Sciences. 145 (2024) - p. 103553 , 2024

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

3

Limitations of choiceless computation

Aachen, RWTH Aachen University, 2023

Pago, Benedikt , 2023

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

4

Constraint Satisfaction, Graph Isomorphism, and the Pebblin..:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Dawar, Anuj - p. 671-699 , 2023

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

5

Descriptive complexity of controllable graphs:

Abiad, Aida ; Dawar, Anuj ; Zapata, Octavio
Procedia Computer Science. 223 (2023) - p. 20-27 , 2023

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

6

MSO undecidability for hereditary classes of unbounded cliq..:

Dawar, Anuj ; Sankaran, Abhisekh
European Journal of Combinatorics. , 2023

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

7

Separating LREC from LFP:

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

Dawar, Anuj ; Ferreira Santos, Felipe - p. 1-13 , 2022

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

8

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/..

9

Lovász-type theorems and game comonads:

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

Dawar, Anuj ; Jakl, Tomáš ; Reggio, Luca - p. 1-13 , 2021

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

10

Symmetric Circuits for Rank Logic:

Dawar, Anuj ; Wilsenach, Gregory
ACM Transactions on Computational Logic. 23 (2021) 1 - p. 1-35 , 2021

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

11

On the Power of Symmetric Linear Programs:

Atserias, Albert ; Dawar, Anuj ; Ochremiak, Joanna
Journal of the ACM. 68 (2021) 4 - p. 1-35 , 2021

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

12

On the Power of Symmetric Linear Programs:

Atserias, Albert ; Dawar, Anuj ; Ochremiak, Joanna
Journal of the ACM (JACM). 68 (2021) 4 - p. 1-35 , 2021

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

13

Relativization of Gurevich's Conjectures:

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

Dahan, Anatole ; Dawar, Anuj - p. 95-104 , 2020

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

14

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/..

15

Choiceless computation and logic:

Schalthöfer, Svenja , 2019

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