Skip to content

Extending Two-Variable Logic on Trees.

Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski

VenueBCSL
Year2017
ProceedingsCSL

Browse the full CSL paper archive.