BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pakusa:Wied

Contributed to:

CSL 20152015
LICS 20152015
CSL 20122012
CSL 20162016
CSL 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.