E. Börger

1946

• Architecture design and validation methods
• Computability, complexity, logic
• Computation theory and logic
• Formal methods for industrial applications
• Trends in theoretical computer science
• Äquivalenz dreier Präzisierungen des Begriffs der konstruktiven Ordinalzahl
• Berechenbarkeit, Komplexität, Logik
• Degree complexity and many-one equivalence of decision problems for algorithmic systems
• Reduktionstypen der klassischen Prädikatenlogik
• Specification and validation methods
• The classical decision problem
• Zur Philosophie der mathematischen Erkenntnis