Authors: Dawar, Anuj, Hella, Lauri

Subject Terms: generalized quantifiers, constraint satisfaction problems, pebble games, finite variable logics, descriptive complexity theory, Theory of computation → Finite Model Theory

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CSL.2024; https://dx.doi.org/10.4230/DFU.Vol7.15301.1; https://dx.doi.org/10.1007/BF01070906; https://dx.doi.org/10.1109/FOCS.2017.37; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.112; https://dx.doi.org/10.1017/jsl.2018.33; https://dx.doi.org/10.48550/arXiv.2209.13725; https://dx.doi.org/10.4230/LIPIcs.CSL.2023.25; https://dx.doi.org/10.1093/logcom/8.1.71; https://dx.doi.org/10.1016/J.JCSS.2016.07.008; https://dx.doi.org/10.1109/LICS52264.2021.9470598; https://dx.doi.org/10.1007/BF01069627; https://dx.doi.org/10.1007/978-3-540-92800-3_9; https://dx.doi.org/10.1145/3402029

Availability: https://doi.org/10.4230/lipics.csl.2024.2310.4230/LIPIcs.CSL.202410.4230/DFU.Vol7.15301.110.1007/BF0107090610.1109/FOCS.2017.3710.4230/LIPIcs.ICALP.2019.11210.1017/jsl.2018.3310.48550/arXiv.2209.1372510.4230/LIPIcs.CSL.2023.2510.1093/logcom/8.1.7110.1016/J.JCSS.2016.07.00810.1109/LICS52264.2021.947059810.1007/BF0106962710.1007/978-3-540-92800-3_910.1145/3402029

Authors: Dawar, Anuj^Aff4

Contributors: Hansson, Sven Ove, Editor-in-Chief^Aff1, Palmigiano, Alessandra, editor^Aff2, Sadrzadeh, Mehrnoosh, editor^Aff3

Superior Title: Samson Abramsky on Logic and Structure in Computer Science and Beyond. 25:671-699

Authors: Berenbrink, Petra, Bouyer, Patricia, Dawar, Anuj

Subject Terms: Front Matter, Table of Contents, Preface, Conference Organization, Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-176525; https://drops.dagstuhl.de/opus/volltexte/2023/17652/

Availability: https://doi.org/10.4230/LIPIcs.STACS.2023.0
https://nbn-resolving.org/urn:nbn:de:0030-drops-176525
https://drops.dagstuhl.de/opus/volltexte/2023/17652/

Authors: Berenbrink, Petra, Bouyer, Patricia, Dawar, Anuj

Subject Terms: LIPIcs, Volume 254, STACS 2023, Complete Volume, Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-176515; https://drops.dagstuhl.de/opus/volltexte/2023/17651/

Availability: https://doi.org/10.4230/LIPIcs.STACS.2023
https://nbn-resolving.org/urn:nbn:de:0030-drops-176515
https://drops.dagstuhl.de/opus/volltexte/2023/17651/

Authors: Braunfeld, Samuel, Dawar, Anuj, Eleftheriadis, Ioannis, Papadopoulos, Aris

Subject Terms: Model theory, finite model theory, structural graph theory, model-checking, Theory of computation → Finite Model Theory, Mathematics of computing → Combinatorics

File Description: application/pdf

Relation: https://eccc.weizmann.ac.il/report/2009/131; https://warwick.ac.uk/fac/sci/maths/people/staff/daniel_kral/alglogstr/openproblems.pdf; https://dx.doi.org/10.4230/LIPIcs.ICALP.2023; https://dx.doi.org/10.1016/j.ejc.2013.06.048; https://dx.doi.org/10.48550/arXiv.2102.03117; https://dx.doi.org/10.48550/arXiv.2209.05120; https://dx.doi.org/10.1145/800105.803397; https://dx.doi.org/10.1145/3531130.3533356; https://dx.doi.org/10.1145/3051095; https://dx.doi.org/10.1017/CBO9780511551574; https://dx.doi.org/10.1016/j.jctb.2016.06.011; https://dx.doi.org/10.1145/3209108.3209136; https://dx.doi.org/10.1112/plms/s2-30.1.264; https://dx.doi.org/10.1017/CBO9781107415133; https://dx.doi.org/10.48550/arXiv.2102.06881

Availability: https://doi.org/10.4230/lipics.icalp.2023.11910.4230/LIPIcs.ICALP.202310.1016/j.ejc.2013.06.04810.48550/arXiv.2102.0311710.48550/arXiv.2209.0512010.1145/800105.80339710.1145/3531130.353335610.1145/305109510.1017/CBO978051155157410.1016/j.jctb.2016.06.01110.1145/3209108.320913610.1112/plms/s2-30.1.26410.1017/CBO978110741513310.48550/arXiv.2102.06881

Authors: Abiad, Aida, Dawar, Anuj, Zapata, Octavio

Superior Title: In Procedia Computer Science 2023 223:20-27

Authors: ATSERIAS, ALBERT¹ atserias@cs.upc.edu, DAWAR, ANUJ² anuj.dawar@cl.cam.ac.uk, OCHREMIAK, JOANNA³ joanna.ochremiak@gmail.com

Superior Title: Journal of the ACM. Jul2021, Vol. 68 Issue 4, p1-35. 35p.

Subject Terms: *LINEAR programming, LOGIC circuits, HAMILTONIAN graph theory, BOOLEAN functions, POLYTOPES, INTEGERS

Authors: Dawar, Anuj, Wilsenach, Gregory

Availability: https://doi.org/10.17863/cam.100142
https://www.repository.cam.ac.uk/handle/1810/354281

Authors: Dawar, Anuj, Hella, Lauri

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/2308.03695

Availability: http://arxiv.org/abs/2308.03695

Authors: Dawar, Anuj, Sankaran, Abhisekh

Contributors: Leverhulme Trust

Superior Title: European Journal of Combinatorics ; page 103700 ; ISSN 0195-6698

Subject Terms: Discrete Mathematics and Combinatorics

Availability: https://doi.org/10.1016/j.ejc.2023.103700
https://api.elsevier.com/content/article/PII:S0195669823000173?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0195669823000173?httpAccept=text/plain

Authors: Dawar, Anuj, Wilsenach, Gregory

Subject Terms: arithmetic circuits, symmetric arithmetic circuits, Boolean circuits, symmetric circuits, permanent, determinant, counting width, Weisfeiler-Leman dimension, Cai-Fürer-Immerman constructions, Theory of computation → Circuit complexity, Theory of computation → Algebraic complexity theory

File Description: application/pdf

Relation: https://books.google.co.uk/books?id=4QDpFN6k61EC; https://dx.doi.org/10.4230/LIPIcs.ITCS.2022; https://dx.doi.org/10.1016/S0168-0072(99)00005-6; https://dx.doi.org/10.1016/0012-365X(80)90054-0; https://dx.doi.org/10.4230/LIPIcs.CSL.2020.2; https://dx.doi.org/10.4230/LIPIcs.CSL.2018.20; https://dx.doi.org/10.1145/276698.276872; https://dx.doi.org/10.1080/0025570X.1969.11975950; https://dx.doi.org/10.1145/322326.322341; https://dx.doi.org/10.1145/2840728.2840735; https://dx.doi.org/10.1561/0400000039; https://dx.doi.org/10.1007/978-3-662-03927-4

Availability: https://doi.org/10.4230/lipics.itcs.2022.5210.4230/LIPIcs.ITCS.202210.1016/S0168-0072(99)00005-610.1016/0012-365X(80)90054-010.4230/LIPIcs.CSL.2020.210.4230/LIPIcs.CSL.2018.2010.1145/276698.27687210.1080/0025570X.1969.1197595010.1145/322326.32234110.1145/2840728.284073510.1561/040000003910.1007/978-3-662-03927-4

Authors: Dawar, Anuj, Sankaran, Abhisekh

Subject Terms: clique width, Seese’s conjecture, antichain, MSO interpretation, grid, Theory of computation → Finite Model Theory

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CSL.2022; https://dx.doi.org/10.1016/j.jal.2005.08.004; https://dx.doi.org/10.1016/j.dam.2017.04.040; https://dx.doi.org/10.1016/0022-0000(93)90004-G; https://dx.doi.org/10.1016/j.jctb.2006.04.003; https://dx.doi.org/10.4230/LIPIcs.STACS.2011.404; https://dx.doi.org/10.1016/j.jctb.2004.08.001

Availability: https://doi.org/10.4230/lipics.csl.2022.1710.4230/LIPIcs.CSL.202210.1016/j.jal.2005.08.00410.1016/j.dam.2017.04.04010.1016/0022-0000(93)90004-G10.1016/j.jctb.2006.04.00310.4230/LIPIcs.STACS.2011.40410.1016/j.jctb.2004.08.001

Authors: Dawar, Anuj, Guruswami, Venkatesan

Subject Terms: Front Matter, Table of Contents, Preface, Conference Organization, Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-173928; https://drops.dagstuhl.de/opus/volltexte/2022/17392/

Availability: https://doi.org/10.4230/LIPIcs.FSTTCS.2022.0
https://nbn-resolving.org/urn:nbn:de:0030-drops-173928
https://drops.dagstuhl.de/opus/volltexte/2022/17392/

Authors: Dawar, Anuj, Guruswami, Venkatesan

Subject Terms: LIPIcs, Volume 250, FSTTCS 2022, Complete Volume, Data processing Computer science

File Description: application/pdf

Relation: urn:nbn:de:0030-drops-173910; https://drops.dagstuhl.de/opus/volltexte/2022/17391/

Availability: https://doi.org/10.4230/LIPIcs.FSTTCS.2022
https://nbn-resolving.org/urn:nbn:de:0030-drops-173910
https://drops.dagstuhl.de/opus/volltexte/2022/17391/

Authors: Dawar, Anuj^Aff13, Grädel, Erich^Aff14, Hoelzel, Matthias^Aff14

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Blass, Andreas, editor^Aff8, Cégielski, Patrick, editor^Aff9, Dershowitz, Nachum, editor^Aff10, Droste, Manfred, editor^Aff11, Finkbeiner, Bernd, editor^Aff12

Superior Title: Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. 12180:118-132

Authors: Dahan, Anatole^Aff13, Dawar, Anuj^Aff14

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Blass, Andreas, editor^Aff8, Cégielski, Patrick, editor^Aff9, Dershowitz, Nachum, editor^Aff10, Droste, Manfred, editor^Aff11, Finkbeiner, Bernd, editor^Aff12

Superior Title: Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. 12180:95-104

Authors: Abiad, Aida, Dawar, Anuj, Zapata, Octavio

Subject Terms: Computer Science - Logic in Computer Science, Mathematics - Combinatorics

Relation: http://arxiv.org/abs/2210.05482

Availability: http://arxiv.org/abs/2210.05482

Authors: Dawar, Anuj, Vagnozzi, Danny

Subject Terms: Graph isomorphism, proof complexity, invertible map tests, Theory of computation → Finite Model Theory, Theory of computation → Proof complexity, Theory of computation → Complexity theory and logic

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021; https://dx.doi.org/10.1007/BF01294258; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.112; https://dx.doi.org/10.2168/LMCS-9(4:12)2013; https://dx.doi.org/10.1016/j.laa.2010.03.022

Availability: https://doi.org/10.4230/lipics.mfcs.2021.3710.4230/LIPIcs.MFCS.202110.1007/BF0129425810.4230/LIPIcs.ICALP.2019.11210.2168/LMCS-9(4:12)201310.1016/j.laa.2010.03.022

Authors: Dawar, Anuj, Sankaran, Abhisekh

Subject Terms: finite model theory, preservation theorems, extension closed, composition, Datalog, Ehrenfeucht-Fraisse games, Theory of computation → Finite Model Theory

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CSL.2021; https://dx.doi.org/10.1016/j.apal.2003.11.002; https://dx.doi.org/10.1007/3-540-60178-3_99; https://dx.doi.org/10.1007/978-3-662-58771-3_8; https://dx.doi.org/10.1007/978-3-642-32621-9_22

Availability: https://doi.org/10.4230/lipics.csl.2021.1810.4230/LIPIcs.CSL.202110.1016/j.apal.2003.11.00210.1007/3-540-60178-3_9910.1007/978-3-662-58771-3_810.1007/978-3-642-32621-9_22

Authors: Conghaile, Adam Ó, Dawar, Anuj

Subject Terms: Logic, Finite Model Theory, Game Comonads, Generalised Quantifiers, Theory of computation → Finite Model Theory, Theory of computation → Abstraction

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CSL.2021; https://dx.doi.org/10.4230/LIPIcs.MFCS.2017.35; https://dx.doi.org/10.1109/LICS.2019.8785677; https://dx.doi.org/10.1109/LICS.2017.8005129; https://dx.doi.org/10.4230/LIPIcs.CSL.2018.2; https://dx.doi.org/10.1093/logcom/5.2.213; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.112; https://dx.doi.org/10.1109/LICS.2009.24; https://dx.doi.org/10.1017/jsl.2018.33; https://dx.doi.org/10.1016/0168-0072(89)90070-5; https://dx.doi.org/10.1006/inco.1996.0070; https://dx.doi.org/10.1016/0168-0072(94)00025-X; https://dx.doi.org/10.1111/j.1755-2567.1966.tb00600.x

Availability: https://doi.org/10.4230/lipics.csl.2021.1610.4230/LIPIcs.CSL.202110.4230/LIPIcs.MFCS.2017.3510.1109/LICS.2019.878567710.1109/LICS.2017.800512910.4230/LIPIcs.CSL.2018.210.1093/logcom/5.2.21310.4230/LIPIcs.ICALP.2019.11210.1109/LICS.2009.2410.1017/jsl.2018.3310.1016/0168-0072(89)90070-510.1006/inco.1996.007010.1016/0168-0072(94)00025-X10.1111/j.1755-2567.1966.tb00600.x