Bartosz Bednarczyk
TytułCytowane przezRok
Extending two-variable logic on trees
B Bednarczyk, W Charatonik, E Kieroński
CSL 2017, 2016
42016
The One-Variable Logic Meets Presburger Arithmetic
B Bednarczyk
Under submision, 2018
2018
Modulo counting on words and trees
B Bednarczyk, W Charatonik
FSTTCS 2017, 2017
2017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–3