Authors: Lichter, Moritz¹ lichter@lics.rwth-aachen.de, Schweitzer, Pascal² schweiter@mathematik.tu-darmstadt.de

Superior Title: Journal of the ACM. Apr2024, Vol. 71 Issue 2, p1-70. 70p.

Subject Terms: POLYNOMIAL time algorithms, SYMMETRIC operators, AUTOMORPHISMS, ORBITS (Astronomy), CANONIZATION

Authors: Lichter, Moritz, Pago, Benedikt, Seppelt, Tim

Subject Terms: finite model theory, graph isomorphism, linear-algebraic logic, homomorphism indistinguishability, game comonads, invertible-map equivalence, 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.1109/LICS.2017.8005129; https://dx.doi.org/10.1007/978-3-031-10736-8_2; https://dx.doi.org/10.1093/logcom/exab048; https://dx.doi.org/10.1016/j.jctb.2018.11.002; https://dx.doi.org/10.1016/S0304-3975(97)00228-4; https://dx.doi.org/10.1007/BF01305232; https://dx.doi.org/10.1093/logcom/exac058; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.112; https://dx.doi.org/10.1109/LICS.2009.24; https://dx.doi.org/10.1007/978-3-642-31585-5_25; https://dx.doi.org/10.1109/LICS52264.2021.9470609; https://dx.doi.org/10.4230/LIPIcs.ICALP.2018.40; https://dx.doi.org/10.1002/jgt.20461; https://dx.doi.org/10.4086/toc.2015.v011a002; https://dx.doi.org/10.1007/3-540-48224-5_27; https://dx.doi.org/10.1017/jsl.2018.33

Availability: https://doi.org/10.4230/lipics.csl.2024.3610.4230/LIPIcs.CSL.202410.1109/LICS.2017.800512910.1007/978-3-031-10736-8_210.1093/logcom/exab04810.1016/j.jctb.2018.11.00210.1016/S0304-3975(97)00228-410.1007/BF0130523210.1093/logcom/exac05810.4230/LIPIcs.ICALP.2019.11210.1109/LICS.2009.2410.1007/978-3-642-31585-5_2510.1109/LICS52264.2021.947060910.4230/LIPIcs.ICALP.2018.4010.1002/jgt.2046110.4086/toc.2015.v011a00210.1007/3-540-48224-5_2710.1017/jsl.2018.33

Authors: LICHTER, MORITZ¹ lichter@mathematik.tudarmstadt.de

Superior Title: Journal of the ACM. Apr2023, Vol. 70 Issue 2, p14-53. 40p.

Subject Terms: *LOGIC, POLYNOMIAL time algorithms

Authors: Lichter, Moritz, Raßmann, Simon, Schweitzer, Pascal

Subject Terms: Computational Complexity cs.CC, Discrete Mathematics cs.DM, FOS Computer and information sciences

Availability: https://doi.org/10.48550/arxiv.2402.11531
https://arxiv.org/abs/2402.11531

Authors: Lichter, Moritz

Subject Terms: witnessed symmetric choice, interpretation, fixed-point logic, counting, CFI graphs, logic for PTime, Theory of computation → Finite Model Theory, Theory of computation → Complexity theory and logic

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.ICALP.2023; https://dx.doi.org/10.4230/LIPIcs.ICALP.2021.16; https://dx.doi.org/10.1007/BFb0039616; https://dx.doi.org/10.2307/2586700; https://dx.doi.org/10.2178/jsl/1190150152; https://dx.doi.org/10.1007/BF01305232; https://dx.doi.org/10.1016/0022-0000(82)90012-5; https://dx.doi.org/10.1093/logcom/exac058; https://dx.doi.org/10.7155/jgaa.00492; https://dx.doi.org/10.1007/978-3-540-45220-1_16; https://dx.doi.org/10.1093/logcom/13.4.503; https://dx.doi.org/10.1007/978-3-540-74915-8_10; https://dx.doi.org/10.1016/j.apal.2007.11.011; https://dx.doi.org/10.1006/inco.1998.2712; https://dx.doi.org/10.1007/3-540-68804-8; https://dx.doi.org/10.1017/jsl.2018.33; https://dx.doi.org/10.1109/LICS.2015.68

Availability: https://doi.org/10.4230/lipics.icalp.2023.13310.4230/LIPIcs.ICALP.202310.4230/LIPIcs.ICALP.2021.1610.1007/BFb003961610.2307/258670010.2178/jsl/119015015210.1007/BF0130523210.1016/0022-0000(82)90012-510.1093/logcom/exac05810.7155/jgaa.0049210.1007/978-3-540-45220-1_1610.1093/logcom/13.4.50310.1007/978-3-540-74915-8_1010.1016/j.apal.2007.11.01110.1006/inco.1998.271210.1007/3-540-68804-810.1017/jsl.2018.3310.1109/LICS.2015.68

Authors: Lichter, Moritz, Pago, Benedikt, Seppelt, Tim

Subject Terms: Computer Science - Logic in Computer Science

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

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

Authors: Grohe, Martin, Lichter, Moritz, Neuen, Daniel, Schweitzer, Pascal

Subject Terms: Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science

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

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

Authors: Grohe, Martin, Lichter, Moritz, Neuen, Daniel

Subject Terms: Computer Science - Data Structures and Algorithms, Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science

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

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

Authors: Lichter, Moritz

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

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

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

Authors: Lichter, Moritz, Schweitzer, Pascal

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

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

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

Authors: Lichter, Moritz, Schweitzer, Pascal

Subject Terms: Choiceless polynomial time, canonization, relational structures, bounded color class size, dihedral groups, Theory of computation → Finite Model Theory, Theory of computation → Complexity theory and logic

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CSL.2021; https://dx.doi.org/10.1145/800061.808746; https://dx.doi.org/10.1016/S0168-0072(99)00005-6; https://dx.doi.org/10.1007/BF01305232; https://dx.doi.org/10.1016/0022-0000(82)90012-5; https://dx.doi.org/10.1016/j.apal.2007.11.011; https://dx.doi.org/10.1109/SFCS.1980.34; https://dx.doi.org/10.1007/978-3-319-23534-9_11; https://dx.doi.org/10.1145/335305.335313; https://dx.doi.org/10.1109/LICS.2008.11; https://dx.doi.org/10.1109/LICS.2010.22; https://dx.doi.org/10.1007/3-540-49257-7_6; https://dx.doi.org/10.1109/LICS.2019.8785682; https://dx.doi.org/10.1137/0216051; https://dx.doi.org/10.1109/LICS.2010.42

Availability: https://doi.org/10.4230/lipics.csl.2021.3110.4230/LIPIcs.CSL.202110.1145/800061.80874610.1016/S0168-0072(99)00005-610.1007/BF0130523210.1016/0022-0000(82)90012-510.1016/j.apal.2007.11.01110.1109/SFCS.1980.3410.1007/978-3-319-23534-9_1110.1145/335305.33531310.1109/LICS.2008.1110.1109/LICS.2010.2210.1007/3-540-49257-7_610.1109/LICS.2019.878568210.1137/021605110.1109/LICS.2010.42

Authors: Lichter, Moritz

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

Relation: http://arxiv.org/abs/2104.12999; Journal of the ACM, Volume 70, Issue 2 (April 2023)

Availability: https://doi.org/10.1145/3572918
http://arxiv.org/abs/2104.12999

Authors: Dawar, Anuj, Grädel, Erich, Lichter, Moritz

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

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

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

Authors: Lichter, Moritz, Schweitzer, Pascal

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

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

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

Authors: Dawar, Anuj, Grädel, Erich, Lichter, Moritz

Superior Title: Journal of logic and computation 33(5), 961-969 (2022). doi:10.1093/logcom/exac058

Subject Terms: info:eu-repo/classification/ddc/004

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/0955-792X; info:eu-repo/semantics/altIdentifier/issn/1465-363X; info:eu-repo/semantics/altIdentifier/wos/WOS:000850458300001; https://publications.rwth-aachen.de/record/853991; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2022-09220%22

Availability: https://doi.org/10.1093/logcom/exac058
https://publications.rwth-aachen.de/record/853991
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2022-09220%22

Authors: Lichter, Moritz

File Description: text

Relation: https://tuprints.ulb.tu-darmstadt.de/24244/1/Lichter_ContinuingTheQuestForALogicCapturingPTIME.pdf; Lichter, Moritz (2023)Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches. Technische Universität Darmstadtdoi: 10.26083/tuprints-00024244 Ph.D. Thesis, Primary publication, Publisher's Version

Availability: https://doi.org/10.26083/tuprints-00024244
http://tuprints.ulb.tu-darmstadt.de/24244/
https://tuprints.ulb.tu-darmstadt.de/24244/1/Lichter_ContinuingTheQuestForALogicCapturingPTIME.pdf

Authors: Lichter, Moritz, Ponomarenko, Ilia, Schweitzer, Pascal

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

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

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

Authors: Lichter, Moritz, Smolka, Gert

Subject Terms: Computer Science - Logic in Computer Science

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

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

Authors: Dawar, Anuj, Grädel, Erich, Lichter, Moritz

Contributors: European Research Council

Superior Title: Journal of Logic and Computation ; volume 33, issue 5, page 961-969 ; ISSN 0955-792X 1465-363X

Subject Terms: Logic, Hardware and Architecture, Arts and Humanities (miscellaneous), Software, Theoretical Computer Science

Availability: https://doi.org/10.1093/logcom/exac058
https://academic.oup.com/logcom/article-pdf/33/5/961/50948091/exac058.pdf

Authors: Lichter, Moritz, Bachtler, Oliver, Bergner, Tim, Heinrich, Irene, Schiewe, Alexander

Relation: https://gitlab.rlp.net/aschiewe/alphabetic/-/tree/v1.0; https://gitlab.rlp.net/aschiewe/alphabetic; https://zenodo.org/record/4890013; https://doi.org/10.5281/zenodo.4890013; oai:zenodo.org:4890013

Availability: https://doi.org/10.5281/zenodo.4890013
https://doi.org/10.5281/zenodo.4890012
https://zenodo.org/record/4890013