Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Anzahl der Einträge: 1.

Majster-Cederbaum, Mila ; Minnameier, Christoph Termination 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 Mar 28 01:09:45 2024 CET automatisch erstellt.