Advertisement

Table of contents

  1. Front Matter
  2. G. P. Agibalov
    Pages 5-9
  3. Ju. A. Al'pin, B. S. Kotchkarev, R. G. Mubarakzianov
    Pages 17-20
  4. S. V. Alyoshin
    Pages 21-23
  5. A. V. Anisimov, V. A. Oleshchuk
    Pages 30-33
  6. D. N. Babin
    Pages 42-44
  7. M. Yu. Baryshev, L. P. Zhil'tzova, A. A. Markov
    Pages 48-50
  8. Lothar Budach
    Pages 55-64
  9. R. G. Bukharajev, A. I. Enikeev, I. I. Makarov
    Pages 65-67
  10. R. G. Bukharajev, I. R. Nasirov
    Pages 68-73
  11. Cejtlin G. E., Jushchenko E. L.
    Pages 78-81
  12. B. S. Chlebus, M. Chrobak, K. Diks
    Pages 82-91
  13. Jürgen Dassow, Helmut Jürgensen
    Pages 95-102
  14. A. I. Enikeev
    Pages 103-108
  15. S. M. Ermakov, B. B. Pokhodzey
    Pages 109-112
  16. S. M. Ermakov, A. S. Rasulov
    Pages 113-115
  17. Yu. L. Ershov, S. S. Goncharov, D. I. Sviridenko
    Pages 116-122
  18. Hans-Dietrich O. F. Gronau
    Pages 167-171
  19. Hans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt
    Pages 172-179
  20. Juris Hartmanis
    Pages 185-196
  21. K. Indermark, H. Klaeren
    Pages 204-213
  22. Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen
    Pages 218-227
  23. L. M. Karahanjan, A. A. Sapozhenko
    Pages 231-233

About these proceedings

Introduction

This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT '87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented.

Keywords

Algebra of Logic Alphabet Boolean function Boolean variable Resolution Variable algorithms automata coding theory complexity data structure logic programming set theory verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-18740-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18740-0
  • Online ISBN 978-3-540-48138-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site