Skip to content

Decidability of MSO Reparameterization over Countable Chains.

Alexander Rabinovich

VenueCWoLLIC
Year2026
ProceedingsWoLLIC

Browse the full WoLLIC paper archive.