Preview
Unable to display preview. Download preview PDF.
References
Friedman, H. Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory. In Gandy and Yates (eds.) Logic Colloquium '69, North-Holland Publ. Co., Amsterdam 1977, pp.361–390.
Harel, D. First order Dynamic Logic. Lecture Notes in Computer Science 68, Springer Verlag, Berlin 1979.
Paterson, M.S. and Hewitt, C.E., Comparative Schematology. Record of Project MAC Conference on: Concurrent Systems and Parallel Computation, ACM, New York 1970, pp. 119–128.
Tiuryn, J. Unbounded ProgramMemory, Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract). Proc. of the 22nd Annual Symposium on Foundations of Computer Sience, Nashville, Tenn. 1981, pp. 33572-339.
Urzyczyn, P. The Unwind Property in Certain Algebras. Information and Control, 50. No. 2., 1981, pp.91–109.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tiuryn, J. (1984). Implicit definability of finite binary trees by sets of equations. In: Börger, E., Hasenjaeger, G., Rödding, D. (eds) Logic and Machines: Decision Problems and Complexity. LaM 1983. Lecture Notes in Computer Science, vol 171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13331-3_49
Download citation
DOI: https://doi.org/10.1007/3-540-13331-3_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13331-5
Online ISBN: 978-3-540-38856-2
eBook Packages: Springer Book Archive