`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:

### Wrote 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.