Joos Heintz "Definability bounds of first order theories of algebraically closed fields" In Fundamentals of Computation Theory. Proceedings of the Conference on Algebraic, Arithmetical and Categorical Methods in Computation Theory, volume 2 of Math. Res., pages 160--166. Akademie-Verlag, Berlin, 1979.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Double Exponential Inseparability Of Robinson Subsystem Q+ -.. - Faglia, Young (1992)   (Correct)

No context found.

Joos Heintz "Definability bounds of first order theories of algebraically closed fields" In Fundamentals of Computation Theory. Proceedings of the Conference on Algebraic, Arithmetical and Categorical Methods in Computation Theory, volume 2 of Math. Res., pages 160--166. Akademie-Verlag, Berlin, 1979.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC