Advertisement

On a class of unoids

  • Dmitry O. Daderkin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)

Keywords

Natural Number Input State Program Variable Dynamic Logic Operation Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Столбоущкин А.П., Таслин М.А. Динанические логики, В КН. Кибернетика и Вычислителвная техника. Вып. 2.-Москва, Наука, 1986. с. 180–230.Google Scholar
  2. [2]
    Urzyczyn, P. (1981), The unwind property in certain algebras, Inform. and Control, 50(2),91–109.Google Scholar
  3. [3]
    Stolboushkin, A.P., and Taitslin, M.A. (1983), Deterministic dynamic logic is strictly weaker than dynamic logic,Inform. and Control, 57(1),48–55.Google Scholar
  4. [4]
    Дадеркин Д.О. Об уноидах Укичина, в кн. 2 Всесоюзная конФеренция по прикладнологике.-Новосибирск, ИМ СО АН СССР, 1988. с.70–72.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Dmitry O. Daderkin
    • 1
  1. 1.Kalinin state universityKalininUSSR

Personalised recommendations