| |
| 1991 | ||
|---|---|---|
| 2 | Horst Luckhardt: New Formally Undecidable Propositions: Non-Trivial Lower Bounds on Proof Complexity and Related Theorems. Theor. Comput. Sci. 83(2): 169-188 (1991) | |
| 1977 | ||
| 1 | Horst Luckhardt: A Fundamental Effect in Computations on Real Numbers. Theor. Comput. Sci. 5(3): 321-324 (1977) | |