Mathematical Foundations of Computer Science 1984, Jan 1, 1984
On the geographical map of logical theories we now recognize an immense ocean of undecidable and ... more On the geographical map of logical theories we now recognize an immense ocean of undecidable and sparse islands of decidability, Monadic decidable theories constitute an important archipelago on the map. Buchi~s introduction of automata technique opened a new epoch in the ...
Mathematical Foundations of Computer Science 1984, Jan 1, 1984
On the geographical map of logical theories we now recognize an immense ocean of undecidable and ... more On the geographical map of logical theories we now recognize an immense ocean of undecidable and sparse islands of decidability, Monadic decidable theories constitute an important archipelago on the map. Buchi~s introduction of automata technique opened a new epoch in the ...
Uploads
Papers by Alexei Semenov