Preview
Unable to display preview. Download preview PDF.
References
Столбоущкин А.П., Таслин М.А. Динанические логики, В КН. Кибернетика и Вычислителвная техника. Вып. 2.-Москва, Наука, 1986. с. 180–230.
Urzyczyn, P. (1981), The unwind property in certain algebras, Inform. and Control, 50(2),91–109.
Stolboushkin, A.P., and Taitslin, M.A. (1983), Deterministic dynamic logic is strictly weaker than dynamic logic,Inform. and Control, 57(1),48–55.
Дадеркин Д.О. Об уноидах Укичина, в кн. 2 Всесоюзная конФеренция по прикладнологике.-Новосибирск, ИМ СО АН СССР, 1988. с.70–72.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Daderkin, D.O. (1989). On a class of unoids. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_8
Download citation
DOI: https://doi.org/10.1007/3-540-51237-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51237-0
Online ISBN: 978-3-540-46180-7
eBook Packages: Springer Book Archive