2014

Weak ω-Regular Trace Languages

von Marcus, Gelderie

Namit Chaturvedi, Marcus Gelderie; CoRR abs/1402.3199 (2014)