Skip to content

Undecidability of Operation Problems for T0L Languages and Subclasses.

Henning Bordihn, Markus Holzer, Martin Kutrib

VenueCLATA
Year2009
ProceedingsLATA

Browse the full LATA paper archive.