Automatic presentations of structures

  • Bakhadyr Khoussainov
  • Anil Nerode
Conference paper

DOI: 10.1007/3-540-60178-3_93

Part of the Lecture Notes in Computer Science book series (LNCS, volume 960)
Cite this paper as:
Khoussainov B., Nerode A. (1995) Automatic presentations of structures. In: Leivant D. (eds) Logic and Computational Complexity. Lecture Notes in Computer Science, vol 960. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Bakhadyr Khoussainov
  • Anil Nerode

There are no affiliations available

Personalised recommendations