Bakhadyr Khoussainov, Anil Nerode. Automatic Presentations of Structures. In Daniel Leivant, editor, Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC 94, Indianapolis, Indiana, USA, 13-16 October 1994. Volume 960 of Lecture Notes in Computer Science, pages 367-392, Springer, 1994.
No references recorded for this publication.
No citations of this publication recorded.