Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.

Mila E. Majster-Cederbaum, Christoph Minnameier

Browse the full ICTAC paper archive.