Chapter

Logic and Computational Complexity

Volume 960 of the series Lecture Notes in Computer Science pp 367-392

Date:

Automatic presentations of structures

  • Bakhadyr Khoussainov
  • , Anil Nerode