![](/img/cover-not-exists.png)
[North-Holland Mathematics Studies] Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 Volume 102 || Recurring Dominoes: Making the Highly Undecidable Highly Understandable
Harel, DavidYear:
1985
Language:
english
DOI:
10.1016/S0304-0208(08)73075-5
File:
PDF, 1.04 MB
english, 1985