External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A New Method for Undecidability Proofs of First Order Theories

Ralf Treinen. A New Method for Undecidability Proofs of First Order Theories. In Kesav V. Nori, C. E. Veni Madhavan, editors, Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings. Volume 472 of Lecture Notes in Computer Science, pages 48-62, Springer, 1990.

Authors

Ralf Treinen

This author has not been identified. Look up 'Ralf Treinen' in Google
runs on