Zur Stufenreduktion von Kalkülen

DOI10.1007/BF01976263zbMath0158.24701MaRDI QIDQ5541307

H. Fiedler

Publication date: 1965

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

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

zbMATH Keywords

mathematical logic

Cites Work

• Formal Reductions of the General Combinatorial Decision Problem
• Recursively enumerable sets of positive integers and their decision problems
• Unnamed Item
• Unnamed Item

This page was built for publication: Zur Stufenreduktion von Kalkülen