Document Search Results

Bodirsky, Manuel; Pakusa, Wied; Rydval, Jakub

Temporal constraint satisfaction problems in fixed-point logic. (English) Zbl 1498.08003

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 237-251 (2020).

MSC: 08A70 03B70 08A40

Cite Review PDF

Full Text: DOI

Dawar, Anuj; Grädel, Erich; Pakusa, Wied

Approximations of isomorphism and logics with linear-algebraic operators. (English) Zbl 07561605

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 112, 14 p. (2019).

MSC: 68Nxx 68Qxx

Cite Review PDF

Full Text: DOI arXiv

Grädel, Erich; Pakusa, Wied

Rank logic is dead, long live rank logic! (English) Zbl 1425.68134

J. Symb. Log. 84, No. 1, 54-87 (2019).

Reviewer: Gregory Loren McColm (Tampa)

MSC: 68Q19 03C13 15B33 20B25

Cite Review PDF

Full Text: DOI Link

Grädel, Erich; Grohe, Martin; Pago, Benedikt; Pakusa, Wied

A finite-model-theoretic view on propositional proof complexity. (English) Zbl 1451.03023

Log. Methods Comput. Sci. 15, No. 1, Paper No. 4, 53 p. (2019).

MSC: 03C13 03F20 68Q19

Cite Review PDF

Full Text: arXiv

Grädel, Erich; Pakusa, Wied; Schalthöfer, Svenja; Kaiser, Lukasz

Characterising choiceless polynomial time with first-order interpretations. (English) Zbl 1394.68161

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 677-688 (2015).

MSC: 68Q19 03C13

Cite Review PDF

Full Text: DOI

Canavoi, Felix; Grädel, Erich; Lessenich, Simon; Pakusa, Wied

Defining winning strategies in fixed-point logic. (English) Zbl 1394.03053

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 366-377 (2015).

MSC: 03B70 68Q25 91A43

Cite Review PDF

Full Text: DOI

Found 6 Documents (Results 1–6)

Temporal constraint satisfaction problems in fixed-point logic. (English) Zbl 1498.08003

Approximations of isomorphism and logics with linear-algebraic operators. (English) Zbl 07561605

Rank logic is dead, long live rank logic! (English) Zbl 1425.68134

A finite-model-theoretic view on propositional proof complexity. (English) Zbl 1451.03023

Characterising choiceless polynomial time with first-order interpretations. (English) Zbl 1394.68161

Defining winning strategies in fixed-point logic. (English) Zbl 1394.03053

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field