Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1989: Mathematical Foundations of Computer Science 1989 pp 177–184Cite as

Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A constructive glimpse

  • Communications
  • Conference paper
  • First Online:

  • 172 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 379))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. M. H. ALBERT and J. LAWRENCE. A proof of Ehrenfeucht's conjecture, Theoret.Comput.Sci. 41 (1985), 121–123.

    Google Scholar 

  2. D. BRIDGES and F. RICHMAN. Varieties of Constructive Mathematics, Cambridge University Press, Cambridge, London, New York, New Rochelle, Melbourne, Sydney, 1987.

    Google Scholar 

  3. C. CALUDE. Note on Ehrenfeucht's conjecture and Hilbert's basis theorem, Bull.European Assoc.Theoret.Comput.Sci. 29 (1986), 18–22.

    Google Scholar 

  4. C. CALUDE and D. VAIDA. The Ehrenfeucht property and constructivity, INFO-IASI'87, Proc. 5-th Colloquium on Computer Science, Iasi, October 9–10, 1987, 1–16 (in Romanian).

    Google Scholar 

  5. K. CULIK II and J. KARHUMÄKI. Systems of equations over a free monoid and Ehrenfeucht's conjecture. Discrete Math. 43 (1983), 139–155.

    Google Scholar 

  6. D. HILBERT. Theorie der algebraischen Gebilde, I–III, Gottinger Nachrichten (1888), 450–457; (1889), 25–34, 423–430, in D. HILBERT. Gesammelte Abhandlungen, Verlag Von Julius Springer; Berlin, 1933.

    Google Scholar 

  7. J. KARHUMÄKI. The Ehrenfeucht's conjecture: a compactness claim for finitely generated monoids, Theoret.Comput.Sci. 29 (1984), 285–308.

    Google Scholar 

  8. R. MINES, F. RICHMAN and W. RUITENBURG. A Course in Constructive Algebra, Springer Verlag, New York, Heidelberg, London, Paris, Tokyo, 1988.

    Google Scholar 

  9. D. PERRIN. On the solution of Ehrenfeucht's conjecture, Bull: European Assoc.Theoret.Comput.Sci. 27 (1985), 68–70.

    Google Scholar 

  10. E. T. POULSEN. The Ehrenfeucht Conjecture: An algebra Framework for Its Proof, Mathematik Institut, Aarhus Universitet 86 (19855), no. 14.

    Google Scholar 

  11. C. REID. Hilbert (with an appreciation of Hilbert's mathematical work by Herman Weyl), Springer-Verlag, Berlin, 1970.

    Google Scholar 

  12. A. SALOMAA. The Ehrenfeucht conjecture: a proof for language theorists, Bull.European Assoc.Theoret.Comput.Sci. 27 (1985); 71–82.

    Google Scholar 

  13. A. SEIDENBERG. What is Noetherian? Rendiconti del Seminario Matematico e fisico di Milano, 11 (1975), 55–61.

    Google Scholar 

  14. B. L. VAN DER WWAERDEN. Modern Algebra, vol. II, Friedrik Ungar Publishing Comp., New York, 1950.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Bucharest, 14 Academiei str., 70109, Bucharest, Romania

    Cristian Calude & Dragos Vaida

Authors
  1. Cristian Calude
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dragos Vaida
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Kreczmar Grazyna Mirkowska

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Calude, C., Vaida, D. (1989). Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A constructive glimpse. In: Kreczmar, A., Mirkowska, G. (eds) Mathematical Foundations of Computer Science 1989. MFCS 1989. Lecture Notes in Computer Science, vol 379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51486-4_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-51486-4_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51486-2

  • Online ISBN: 978-3-540-48176-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation