Skip to content

Order-Invariant First-Order Logic over Hollow Trees.

Julien Grange, Luc Segoufin

VenueBCSL
Year2020
ProceedingsCSL

Browse the full CSL paper archive.