dblp.uni-trier.dewww.uni-trier.de

Horst Luckhardt Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - 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)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)