Über die Bestimmbarkeit des Verhaltens von Algorithmen

DOI10.1007/BF01977246zbMath0149.24802MaRDI QIDQ5528644

Klemens Döpp

Publication date: 1966

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137784

zbMATH Keywords

mathematical logic

Cites Work

• Unnamed Item
• Unnamed Item
• Zur Theorie der konstruktiven Wohlordnungen
• Zur Eigenschaft primitiv-rekursiver Funktionen, unendlich viele Werte anzunehmen
• Recursive well-orderings
• On computable sequences
• [Russian Text Ignored]

This page was built for publication: Über die Bestimmbarkeit des Verhaltens von Algorithmen