Majster-Cederbaum, Mila ; Minnameier, ChristophTermination and Divergence are undecidable under a Maximum Progress Multi-Step Semantics for LinCa.Barkaoui, Kamel
Lecture Notes in Computer Science
4281
65-79
In: Theoretical aspects of computing - ICTAC 2006 : 3rd International Colloquium on Theoretical Aspects of Computing. Tunis, Tunisia, 20-24 November 2006
(2006)
Berlin [u.a.]
[Konferenzveröffentlichung]
Diese Liste wurde am Sun Dec 22 01:37:08 2024 CET automatisch erstellt.
