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 Thu Nov 21 01:34:31 2024 CET automatisch erstellt.
