Egon Börger
Mathematiker,
Informatiker
Geboren:
1946
Creative Commons Attribution-Share Alike 4.0
Werke:
- Reduktionstypen in Krom- und Hornformeln
- Computation theory and logic : [in memory of Dieter Rötting ; 24.8.1937 - 4.6.1984 ; on the occassion of the 50th anniversary of his birth]
- Berechenbarkeit, Komplexität, Logik : Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
- Architecture design and validation methods