- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |