Collaborated with:
W.Charatonik E.Kieronski
Talks about:
variabl (1) extend (1) logic (1) tree (1) two (1)
Person: Bartosz Bednarczyk
DBLP: Bednarczyk:Bartosz
Contributed to:
Wrote 1 papers:
- CSL-2017-BednarczykCK #logic
- Extending Two-Variable Logic on Trees (BB, WC, EK), p. 20.