Travelled to:1 × France
1 × Germany
1 × Japan
Collaborated with:E.Grädel S.Schalthöfer E.Selman B.Pago F.Canavoi S.Leßenich S.Schalthofer L.Kaiser A.Dawar B.Holm E.Kopczynski
Talks about:logic (3) defin (3) choiceless (2) polynomi (2) system (2) time (2) rank (2) characteris (1) interpret (1) strategi (1)
Person: Wied Pakusa
DBLP: Pakusa:Wied
Contributed to:
2015
2015201220162017Wrote 6 papers:
- CSL-2015-GradelP #exclamation #logic #rank
- Rank Logic is Dead, Long Live Rank Logic! (EG, WP), pp. 390–404.
- LICS-2015-CanavoiGLP #fixpoint #logic
- Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.
- LICS-2015-GradelPSK #first-order #polynomial
- Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.
- CSL-2012-DawarGHKP #equation #linear
- Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
- CSL-2016-PakusaSS #polynomial #problem
- Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time (WP, SS, ES), p. 17.
- CSL-2017-GradelPP #proving
- The Model-Theoretic Expressiveness of Propositional Proof Systems (EG, BP, WP), p. 18.