Wied Pakusa

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5091274	2022-07-21	Paper
Temporal constraint satisfaction problems in fixed-point logic	2021-01-21	Paper
Descriptive complexity of linear equation systems and applications to propositional proof complexity	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5144628	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5111195	2020-05-26	Paper
Rank logic is dead, long live rank logic!	2019-03-15	Paper
A finite-model-theoretic view on propositional proof complexity	2019-02-25	Paper
Approximations of Isomorphism and Logics with Linear-Algebraic Operators	2019-02-18	Paper
Defining winning strategies in fixed-point logic	2018-04-23	Paper
Characterising choiceless polynomial time with first-order interpretations	2018-04-23	Paper
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time	2018-03-22	Paper
Rank logic is dead, long live rank logic!	2017-08-31	Paper
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time	2017-07-19	Paper
Model-theoretic properties of \(\omega\)-automatic structures	2015-02-05	Paper
Choiceless polynomial time on structures with small abelian colour classes	2014-10-14	Paper
Definability of linear equation systems over groups and rings	2013-11-28	Paper
Definability of linear equation systems over groups and rings	2012-11-22	Paper

This page was built for person: Wied Pakusa