Skip to content

Decidability Issues for Two-Variable Logics with Several Linear Orders.

Emanuel Kieronski

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.