Statistics
Publications
4
Citations
125
H-Index
4
Active since
2013
Affiliations
Piotr Witkowski is an author at University of Wrocław specializing in first-order logic, mathematics, and satisfiability.
Publications per year
2013–2018
4
4
Two-Variable Logic with Counting and Trees
Witold Charatonik, Piotr Witkowski · 2013 · 44 citations
Two-variable First-Order Logic with Counting in Forests
Witold Charatonik, Yegor Guskov, Ian Pratt‐Hartmann et al. · EPiC series in computing · 2018 · 21 citations · Full text
1–4 of 4