@incollection{Babikov/87,
AUTHOR = {Babikov, G.V.},
TITLE = {On direct methods of realization of normal algorithms by Turing machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {41},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuzjurin/87,
AUTHOR = {Kuzjurin, N.N.},
TITLE = {On one approximate algorithm for solving systems of linear inequalities with boolean variables},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {272},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Matijasevich/87,
AUTHOR = {Matijasevich, Yu.},
TITLE = {Diophantine complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {301},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taimanov/87,
AUTHOR = {Taimanov, V.A.},
TITLE = {On cartesian powers of $P_2$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {435},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ablayev/87,
AUTHOR = {Ablayev, F.M.},
TITLE = {Possibilities of probabilistic on-line counting machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {1-4},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Agibalov/87,
AUTHOR = {Agibalov, G.P.},
TITLE = {Functional systems on semilattices},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {5-9},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alekseyev/87,
AUTHOR = {Alekseyev, V.B.},
TITLE = {Recognition of properties in $K$-valued logic and approximate algorithms},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {10-13},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alexanyan/87,
AUTHOR = {Alexanyan, A.A.},
TITLE = {Linearized disjunctive normal forms of boolean functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {14-16},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alpin-Kotchkarev-Mubarakzianov/87,
AUTHOR = {Alpin, Ju.A. and Kotchkarev, B.S. and Mubarakzianov, R.G.},
TITLE = {On a stable generating of random sequences by probabilistic automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {17-20},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alyoshin/87,
AUTHOR = {Alyoshin, S.V.},
TITLE = {Automata classes induced by Post classes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {21-23},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Andreev/87,
AUTHOR = {Andreev, A.E.},
TITLE = {Effective lower bounds for complexity of some classes of schemes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {24-29},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Anisimov-Oleshchuk/87,
AUTHOR = {Anisimov, A.V. and Oleshchuk, V.A.},
TITLE = {Stable finite automata mappings and Church-Rosser systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {30-33},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Arslanov/87,
AUTHOR = {Arslanov, M.M.},
TITLE = {The recursion theorem, approximations, and clasifying index sets of recursively enumerable sets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {34-37},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Astakhov/87,
AUTHOR = {Astakhov, A.D.},
TITLE = {Duality of functions and data in algorithms description},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {38-40},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Babin/87,
AUTHOR = {Babin, D.N.},
TITLE = {Verbal operation on automaton},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {42-44},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Barashko/87,
AUTHOR = {Barashko, A.S.},
TITLE = {The new way of probabilistic compact testing},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {45-47},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baryshev-Zhiltzova-Markov/87,
AUTHOR = {Baryshev, M.Yu. and Zhil'tzova, L.P. and Markov, A.A.},
TITLE = {Computational problems in alphabetic coding theory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {48-50},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bogomolov/87,
AUTHOR = {Bogomolov, S.A.},
TITLE = {On the synthesis of ``irredundant'' automata from a finite set of experiments},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {51-52},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bolotov/87,
AUTHOR = {Bolotov, A.A.},
TITLE = {On the equivalence problem of states for cellular automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {53-54},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Budach/87,
AUTHOR = {Budach, L.},
TITLE = {Arsenals and lower bounds},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {55-64},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bukharajev-Enikeev-Makarov/87,
AUTHOR = {Bukharajev, R.G. and Enikeev, A.I. and Makarov, I.I.},
TITLE = {Chain-like model of programs communication},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {65-67},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bukharajev-Nasirov/87,
AUTHOR = {Bukharajev, R.G. and Nasirov, I.R.},
TITLE = {Structor automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {68-73},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buyevich/87,
AUTHOR = {Buyevich, B.A.},
TITLE = {On $A$-completeness for some classes of bounded determinate functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {74-77},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cejtlin-Jushchenko/87,
AUTHOR = {Cejtlin, G.E. and Jushchenko, E.L.},
TITLE = {Structure synthesis of parallel programs (methodology and tools)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {78-81},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Chrobak-Diks/87,
AUTHOR = {Chlebus, B.S. and Chrobak, M. and Diks, K.},
TITLE = {Saturating flows in networks},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {82-91},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cuhrov/87,
AUTHOR = {Cuhrov, I.P.},
TITLE = {On the number of DNF maximal relatively arbitrary measures of complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {92-94},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dassow-Jurgensen/87,
AUTHOR = {Dassow, J. and J{\"u}rgensen, H.},
TITLE = {Soliton automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {95-102},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Enikeev/87,
AUTHOR = {Enikeev, A.I.},
TITLE = {On development of dialogue concurrent systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {103-108},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ermakov-Pokhodzey/87,
AUTHOR = {Ermakov, S.M. and Pokhodzey, B.B.},
TITLE = {Discrete analogue of the Neumann method is not optimal},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {109-112},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ermakov-Rasulov/87,
AUTHOR = {Ermakov, S.M. and Rasulov, A.S.},
TITLE = {A simplest probability model of asynchronous iterations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {113-115},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ershov-Goncharov-Sviridenko/87,
AUTHOR = {Ershov, Yu.L. and Goncharov, S.S. and Sviridenko, D.I.},
TITLE = {Semantic foundations of programming},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {116-122},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Evtushenko/87,
AUTHOR = {Evtushenko, N.V.},
TITLE = {Conditions for existence of nontrivial parallel decompositions of sequential machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {123-126},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frolov/87,
AUTHOR = {Frolov, A.B.},
TITLE = {On the digital system diagnostics under uncertainty},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {127-131},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=127},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gabbasov/87,
AUTHOR = {Gabbasov, N.Z.},
TITLE = {The implicating vector problem and its applications to probabilistic and linear automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {132-136},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=132},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gasanov/87,
AUTHOR = {Gasanov, E.E.},
TITLE = {Some asymptotic evaluations of complexity of information searching},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {137-139},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gashkov/87,
AUTHOR = {Gashkov, S.B.},
TITLE = {On the complexity of approximate realization of continuous functions by schemes and formulas in continuous bases},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {140-144},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gashkov-Sidelnikov/87,
AUTHOR = {Gashkov, I.B. and Sidelnikov, V.M.},
TITLE = {Codes, connected with a fraction linear functions group and their decoding},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {145-149},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geidmanis/87,
AUTHOR = {Geidmanis, D.},
TITLE = {On the capabilities of alternating and nondeterministic multitape automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {150-154},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=150},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gibbons-Rytter/87,
AUTHOR = {Gibbons, A. and Rytter, W.},
TITLE = {Fast parallel algorithms for optimal edge-colouring of some tree-structured graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {155-162},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=155},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grinchuk/87,
AUTHOR = {Grinchuk, M.I.},
TITLE = {On the complexity of elementary periodical functions realized by switching circuits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {163-166},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gronau/87,
AUTHOR = {Gronau, H.-D.O.F.},
TITLE = {Efficient algorithmic construction of designs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {167-171},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Groote-Heintz-Mohler-Schmidt/87,
AUTHOR = {de Groote, H.F. and Heintz, J. and M{\"o}hler, S. and Schmidt, H.},
TITLE = {On the complexity of Lie algebras},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {172-179},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Grunsky/87,
AUTHOR = {Grunsky, I.S.},
TITLE = {A characterization of sequential machines by means of their behaviour fragments},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {180-184},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartmanis/87,
AUTHOR = {Hartmanis, J.},
TITLE = {Some observations about $NP$ complete sets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {185-196},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=185},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemmerling/87,
AUTHOR = {Hemmerling, A.},
TITLE = {Three-dimensional traps and barrages for cooperating automata (extended abstract)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {197-203},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Indermark-Klaeren/87,
AUTHOR = {Indermark, K. and Klaeren, H.},
TITLE = {Efficient implementation of structural recursion},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {204-213},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=204},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Iordanskii/87,
AUTHOR = {Iordanskii, M.A.},
TITLE = {Minimal numberings of the vertices of trees-approximate approach},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {214-217},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=214},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantzen-Kudlek-Lange-Persen/87,
AUTHOR = {Jantzen, M. and Kudlek, M. and Lange, K.-J. and Persen, H.},
TITLE = {Dyck$_1$-reductions of context-free languages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {218-227},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jukna/87,
AUTHOR = {Jukna, S.P.},
TITLE = {Information flow and width of branching programs (extended abstract)},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {228-230},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=228},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karahanjan-Sapozhenko/87,
AUTHOR = {Karahanjan, L.M. and Sapozhenko, A.A.},
TITLE = {On some operations of partial monotone boolean function simplifying},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {231-233},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karpova/87,
AUTHOR = {Karpova, N.A.},
TITLE = {On complexity of computations with limited memory},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {234-235},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kolyada/87,
AUTHOR = {Kolyada, K.V.},
TITLE = {On the problem of completeness for the regular mappings},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {236-238},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Korshunov/87,
AUTHOR = {Korshunov, A.D.},
TITLE = {The number and the structure of typical Sperner and $k$-non-separable families of subsets of a finite set},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {239-243},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=239},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kossovsky/87,
AUTHOR = {Kossovsky, N.K.},
TITLE = {A criterion of polynomial lower bounds of combinational complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {244-245},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kotov-Cherkasova/87,
AUTHOR = {Kotov, V.E. and Cherkasova, L.A.},
TITLE = {On generalized process logic},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {246-250},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kowalczyk-Urzycyn/87,
AUTHOR = {Kowalczyk, W. and Urzycyn, P.},
TITLE = {Verification of programs with higher-order arrays},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {251-258},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kozlovskiy/87,
AUTHOR = {Kozlovskiy, V.A.},
TITLE = {On the complexity of analyzing experiments for checking local faults of an automaton},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {259-262},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=259},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kriegel-Waack/87,
AUTHOR = {Kriegel, K. and Waack, S.},
TITLE = {Exponential lower bounds for real-time branching programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {263-267},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=263},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kudrjavtzev/87,
AUTHOR = {Kudrjavtzev, V.B.},
TITLE = {On the conditions of supplementicity in functional systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {268-271},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=268},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kuznetsov-Nurmeev-Salimov/87,
AUTHOR = {Kuznetsov, S.E. and Nurmeev, N.N. and Salimov, F.I.},
TITLE = {The problem of minimal implicating vector},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {273-278},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Latypov/87,
AUTHOR = {Latypov, R.Kh.},
TITLE = {Built-in self-testing of logic circuits using imperfect duplication},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {279-283},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Letichevsky/87,
AUTHOR = {Letichevsky, A.A.},
TITLE = {Algebrae with approximation and recursive data structures},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {284-287},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lomazova/87,
AUTHOR = {Lomazova, I.A.},
TITLE = {Procedural implementation of algebraic specifications of abstract data types},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {288-292},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=288},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lozkin-Koshkin/87,
AUTHOR = {Lozkin, S.A. and Koshkin, M.A.},
TITLE = {On the complexity of realizing some systems of the functions of the algebra of logic by contact and generalized contact circuits},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {293-296},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=293},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lozkin-Semenov/87,
AUTHOR = {Lozkin, S.A. and Semenov, A.A.},
TITLE = {On construction of a complete system of compression functions and on complexity of monotone realization of threshold boolean functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {297-300},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=297},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meinel/87,
AUTHOR = {Meinel, C.},
TITLE = {The power of nondeterminism in polynomial-size bounded-width branching programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {302-309},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=302},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Menshikov-Zuev/87,
AUTHOR = {Men'shikov, M.V. and Zuev, S.A.},
TITLE = {Estimation algorithms of infinite graphs percolation threshold},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {310-313},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mikhailov/87,
AUTHOR = {Mikhailov, V.Yu.},
TITLE = {A solving of problem on technological models},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {314-317},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mints/87,
AUTHOR = {Mints, G.E.},
TITLE = {Some formal systems of the logic programming},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {318-322},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Moshkov/87,
AUTHOR = {Moshkov, M.Iu.},
TITLE = {On the programs with finite development},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {323-327},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=323},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Movsisian-Margarian/87,
AUTHOR = {Movsisian, G.L. and Margarian, Zh.G.},
TITLE = {$D$-representing code problem solution},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {328-331},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mubarakzianov/87,
AUTHOR = {Mubarakzianov, R.G.},
TITLE = {Metric properties of random sequence},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {332-333},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=332},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mukhin/87,
AUTHOR = {Mukhin, V.I.},
TITLE = {Adaptive strategies for partially observable controlled random series},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {334-338},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=334},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nasyrov/87,
AUTHOR = {Nasyrov, Il.R.},
TITLE = {The degrees of nondeterminism in pushdown automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {339-342},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Noskov/87,
AUTHOR = {Noskov, V.N.},
TITLE = {Statistically effective algorithms for automata control},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {343-346},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=343},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pereyaslavsky/87,
AUTHOR = {Pereyaslavsky, V.I.},
TITLE = {Linear test procedures of recognition},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {347-348},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=347},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Perfilyeva/87,
AUTHOR = {Perfilyeva, I.G.},
TITLE = {Evaluation of cardinalities of some families of $\xi$-classes in $P{\aleph_0}$},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {349-353},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=349},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Podkolzin/87,
AUTHOR = {Podkolzin, A.S.},
TITLE = {On the temporal complexity of boolean mappings realizations in two-dimensional homogeneous automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {354-358},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=354},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Podlovcenko/87,
AUTHOR = {Podlov{\v{c}}enko, R.I.},
TITLE = {On approximate solution of the problem of equivalent transformations of programs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {359-363},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rajasekaran-Reif/87,
AUTHOR = {Rajasekaran, S. and Reif, J.H.},
TITLE = {Randomized parallel computation},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {364-376},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Redkin/87,
AUTHOR = {Redkin, N.P.},
TITLE = {On checking correctness of some classes of control systems},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {377-382},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rystsov/87,
AUTHOR = {Rystsov, I.K.},
TITLE = {The parallel complexity of some arithmetic and algebraic operations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {383-385},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=383},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Safarian/87,
AUTHOR = {Safarian, A.A.},
TITLE = {On difficulties of solving a problem of decomposition of the system of boolean equations},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {386-388},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=386},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sapozhenko/87,
AUTHOR = {Sapozhenko, A.A.},
TITLE = {The number of fuzzy monotone functions},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {389-390},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sazonov/87,
AUTHOR = {Sazonov, V.Yu.},
TITLE = {Bounded set theory and polynomial computability},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {391-395},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Selivanov/87,
AUTHOR = {Selivanov, V.L.},
TITLE = {Index sets of factor-objects of the Post numbering},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {396-400},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=396},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shkalikova/87,
AUTHOR = {Shkalikova, N.A.},
TITLE = {On realization of boolean functions by schemes consisting of checked elements},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {401-405},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=401},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sholomov/87,
AUTHOR = {Sholomov, L.A.},
TITLE = {The complexity of the sequential choice mechanism},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {406-408},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=406},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Soloviev/87,
AUTHOR = {Soloviev, V.D.},
TITLE = {Nondeterministic finite algorithmic procedures as the models of abstract computability},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {409-411},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=409},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Solovieva/87,
AUTHOR = {Solovieva, V.R.},
TITLE = {The reducibility of random sequences by automata},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {412-413},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stepanov-Shparlinskiy/87,
AUTHOR = {Stepanov, S.A. and Shparlinskiy, I.E.},
TITLE = {On structure complexity of normal basis of finite field},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {414-416},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=414},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stetsenko/87,
AUTHOR = {Stetsenko, V.A.},
TITLE = {On comparison of boolean bases},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {417-419},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=417},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Stohr/87,
AUTHOR = {St{\"o}hr, E.},
TITLE = {A tradeoff between pagenumber and width of book embeddings of graphs},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {420-423},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=420},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Strogalov/87,
AUTHOR = {Strogalov, A.S.},
TITLE = {On metric properties of automata and $\epsilon$-approximation of automaton mappings},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {424-427},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=424},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sumenkov/87,
AUTHOR = {Sumenkov, E.A.},
TITLE = {Algorithmization of obtaining the converse comparison theorems based on solving a logical equation},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {428-431},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=428},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sytnik/87,
AUTHOR = {Sytnik, A.A.},
TITLE = {Synthesis of universal finite automats},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {432-434},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=432},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taimina/87,
AUTHOR = {Taimina, D.},
TITLE = {Complexity gaps of Turing machines on infinite words},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {436-439},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=436},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tel/87,
AUTHOR = {Tel, G.},
TITLE = {Distributed infimum approximation},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {440-447},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=440},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thalheim/87,
AUTHOR = {Thalheim, B.},
TITLE = {On the number of keys in relational databases},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {448-455},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=448},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ugolnikov/87,
AUTHOR = {Ugol'nikov, A.B.},
TITLE = {Complexity and depths of formulas realizing functions from closed classes},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {456-461},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=456},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Uhlig/87,
AUTHOR = {Uhlig, D.},
TITLE = {Reliable networks from unreliable gates with almost minimal complexity},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {462-469},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=462},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Validov/87,
AUTHOR = {Validov, F.I.},
TITLE = {On the standard and pseudostandard star height of regular sets},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {470-471},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=470},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vassiljev/87,
AUTHOR = {Vassiljev, S.N.},
TITLE = {To automation of theorem synthesis},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {472-476},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=472},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vorobeva/87,
AUTHOR = {Vorobeva, E.G.},
TITLE = {On efficiency of prefix word-encoding of binary messages},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {477-478},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=477},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Voronkov/87,
AUTHOR = {Voronkov, A.A.},
TITLE = {Deductive program synthesis and Markov's principle},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {479-482},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=479},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zacharov-Kuznetsov/87,
AUTHOR = {Zacharov, V.M. and Kuznetsov, S.E.},
TITLE = {Complexity of the problem of approximation of stochastic matrix by rational elements},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {483-487},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=483},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zakharov/87,
AUTHOR = {Zakharov, V.A.},
TITLE = {To the functional equivalence of Turing machines},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {488-491},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=488},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zakharyashchev/87,
AUTHOR = {Zakhar'yashchev, M.V.},
TITLE = {Theorem proving in intermediate and modal logics},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {492-496},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=492},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zakrevskii/87,
AUTHOR = {Zakrevskii, A.D.},
TITLE = {The analysis of concurrent logic control algorithms},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {497-500},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=497},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Zamov/87,
AUTHOR = {Zamov, N.K.},
TITLE = {On a connection between the resolution method and the inverse method},
BOOKTITLE = {Proceedings of the International Conference on Fundamentals of Computation Theory, FCT'87 (Kazan, USSR, June 1987)},
SERIES = {LNCS},
VOLUME = {278},
PAGES = {501-505},
YEAR = {1987},
EDITOR = {Budach, L. and Bukharajev, R.G. and Lupanov, O.B.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=278&spage=501},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}