Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hans L. Bodlaender, Shlomo Moran, Manfred K. Warmuth |
The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings, pp. 58-67, 1989, Springer, 3-540-51498-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan S. Chlebus, Krzysztof Diks, Torben Hagerup, Tomasz Radzik |
New Simulations between CRCW PRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings, pp. 95-104, 1989, Springer, 3-540-51498-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | P. I. Validov |
On the Standard and Pseudostandard Star Height of Regular Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 470-471, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Igor Gashkov, V. M. Sidelnikov |
Codes, Connected With a Fraction Linear Functions Group and Their Decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 150-149, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. M. Zacharov, S. E. Kuznetsov |
Complexity of the Problem of Approximation of Stochastic Matrix by Rational Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 483-487, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai K. Kossovsky |
A Chriterion of Polynominal Lower Bounds of Combinational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 244-245, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Lothar Budach |
Arsenals and Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 55-64, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen 0001 |
Dyck1-Reductions of Context-free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 218-227, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sergej A. Lozkin, A. A. Semenov |
On Construction of a Complete System of Compression Functions and on Complexity of Monotone Realization of Threshold Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 297-300, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | B. A. Buyevich |
On A-Completeness for some Classes of Bounded Determitate Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 74-77, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Lev A. Sholomov |
The Complexity of the Sequential Choice Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 406-408, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Kriegel, Stephan Waack |
Exponential Lower Bounds for Real-Time Branching Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 263-267, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Sytnik |
Synthesis of Universal Finite Automats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 432-434, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. D. Korshunov |
The Number and the Structure of Typical Sperner and K-Non-Separable Families of Subsets of a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 239-243, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Kowalczyk, Pawel Urzyczyn |
Verification of Programs with Higher-Order Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 251-258, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. G. Mubarakzianov |
Metric Properties of Random Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 332-333, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Igor S. Grunsky |
A Characterization of Sequential Machines by Means of Their Behaviour Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 180-184, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | K. V. Kolyada |
On the Problem of Completeness for the Regular Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 236-237, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | G. V. Babikov |
On Direct Methods of Realization of Normal Algorithms by Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 41, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. G. Bukharajev, A. I. Enikeev, I. I. Makarov |
Chain-like Model of Programs Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 65-67, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | I. P. Cuhrov |
On the Number of DNF Minimal Relatively Arbitrary Measures of Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 92-94, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints |
Some Formal Systems of the Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 318-322, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. V. Alyoshin |
Automata Classes Induced by Post Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 21-23, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. A. Kozlovskiy |
On the Complexity of Analyzing Experiments for Checking local Faults of an Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 259-262, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alexander E. Andreev |
Effective Lower Bounds for Complexity of Some Classes of Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 24-29, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Index-Sets of Factor-Objects of the Post Numbering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 396-400, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. Kh. Latypov |
Built-in Self-testing of Logic Circuits Using Imperfect Duplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 279-283, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. I. Mukhin |
Adaptive Strategies for Partially Observable Controlled Ranom Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 334-338, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. A. Karpova |
On Complexity of Computations with Limited Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 234-235, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko |
Semantic Foundations of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 116-122, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sergej B. Gashkov |
On the Complexity of Approximate Realization of Continuous Functions by Schemes and Formulas in Continuous Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 140-144, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. V. Anisimov, Vladimir A. Oleshchuk |
Stable Finite Automata Mappings and Church-Rosser Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 30-33, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. D. Soloviev |
Nondeterministic Finite Algorithmic Procedures as the Models of Abstract Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 409-411, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Arkadij Zakrevskij |
The Analysis of Concurrent Logic Control Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 497-500, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | I. G. Perfilyeva |
Evaluatiobn of Cardinalities of Some Families of -Classes in Proh0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 349-353, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Bolotov |
On the Equivalence Problem of States for Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 53-54, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. R. Solovieva |
The Reducibility of Random Sequences by Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 412-413, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | M. A. Iordanskii |
Minimal Numberings of the Vertices of Trees - Approximate Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 214-217, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | I. K. Rystsov |
The Parallel Complexity of Some Arithemic and Algebraic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 383-385, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michael Zakharyaschev |
Theorem Proving in Intermediate and Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 492-496, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. B. Ugol'nikov |
Complexity and Depth of Formulas Realizing Functions From Closed Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 456-461, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sergey A. Bogomolov |
On the Synthesis of "Irredundant" Automata from a Finite Set of Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 51-52, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. N. Vassiljev |
To Automation of Theorem Sythesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 472-476, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. A. Stepanov, Igor E. Shparlinski |
On Structure Complexity of Normal Basis of Finite Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 414-416, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Kotov, Ludmila Cherkasova |
On Generalized Process Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 246-250, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nina V. Evtushenko |
Conditions for Existence of Nontrivial Parallel Decompositions of Sequential Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 123-126, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Irina A. Lomazova |
Procedural Implementation of Algebraic Specifications of Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 288-292, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ju. A. Al'pin, B. S. Kotchkarev, R. G. Mubarakzianov |
On a Stable Generating of Random Sequences by Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 17-20, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | L. M. Karahanjan, Alexander A. Sapozhenko |
On Some Operations of Partial Monotone Boolean Function Simplifying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 231-233, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. J. Mikhailov |
A Solving of Problems on Technological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 314-317, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. S. Barashko |
The New Way of Probabilistic Compact Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 45-47, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Deductive Program Synthesis and Markov's Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 479-482, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Ju. Moshkov |
On the Programs with Finite Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 323-327, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. N. Noskov |
Statistically Effective Algorithms for Automata Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 343-346, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alan Gibbons, Wojciech Rytter |
Fast Parallel Algorithms for Optimal Edge-Colouring of some Tree-structured Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 155-162, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Stetsenko |
On Comparison of Boolean Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 417-419, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. S. Strogalov |
On Metric Properties of Automata and Epsilon-Approximation of Automaton Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 424-427, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dainis Geidmanis |
On the Capabilities of Alternating and Nondeterministic Multitape Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 150-154, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Sapozhenko |
The Number of Fuzzy Monotone Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 389-390, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Valery B. Alekseyev |
Recognition of Properties in K-Valued Logic and Approximate Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 10-13, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. S. Podkolzin |
On the Temporal Complexity of Boolean Mappings Realizations iin Two-dimensional Homogeneous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 354-358, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | M. Yu. Baryshev, L. P. Zhil'tzova, A. A. Markov |
Computational Problems in Alphabetic Coding Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 48-50, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Yu. Sazonov |
Bounded Set Theory and Polynominal Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 391-395, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Farid M. Ablayev |
Possibilities of Probabilistic on-line Counting Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 1-4, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ildar R. Nasyrov |
The Degrees of Nondeterminism in Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 339-342, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | D. N. Babin |
Verbal Operation on Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 42-44, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Elena Stöhr |
A Tradeoff Between Pagenumber and Width of Book Embedding of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 420-423, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. D. Astakhov |
Duality of Functions and Data in Algorithms Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 38-40, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Daina Taimina |
Complexity Gaps of Turing Machines of Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 436-439, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. M. Ermakov, A. S. Rasulov |
A Simplest Probability Model of Asynchronous Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 113-115, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Safarian |
On Difficulties of Solving a Problem of Decomposition of the System of Boolean Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 386-388, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | E. E. Gasanov |
Some Asymptotic Evalutions of Complexity of Information Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 137-139, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Thalheim |
On the Number of Keys in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 448-455, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai N. Kuzjurin |
On One Approximate Algorithm for Solving Systems of Linear Inequalities with Boolean Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 272, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Marat M. Arslanov |
The Recursion Theorem, Approximations, and Classifying Index Sets of Recursively Enumerable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 34-37, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | G. E. Cejtlin, E. L. Jushchenko |
Structure Synthesis of Parallel Programs (Methodology and Tools). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 78-81, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dietrich O. F. Gronau |
Efficient Algorithmic Construction of Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 167-171, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. I. Enikeev |
On Development of Dialogue Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 103-108, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | M. I. Grinchuk |
On the Complexity of Elementary Periodical Functions Realized by Switching Circuites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 163-166, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Armin Hemmerling |
Three-Dimensional Traps and Barrages for Cooperating Automata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 197-203, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. I. Podlovcenko |
On Approximate Solution of the Problem of Equivalent Transformations of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 359-363, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Uhlig |
Reliable Networks from Unreliable Gates With Almost Minimal Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 462-469, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. I. Pereyaslavsky |
Linear Test Procedures of Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 347-348, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Alexanyan |
Linearized Disjunctive Normal Forms of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 14-16, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. B. Frolov |
On the Digital System Diagnostics under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 127-131, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. A. Shkalikova |
On Realization of Boolean Functions by Schemes Consisting of Checked Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 401-405, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sergej A. Lozkin, M. A. Koshkin |
On the Complexity of Realizing Some Systems of the Functions of the Algebra of Logic by Contact and Generalized Contact Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 293-296, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sanguthevar Rajasekaran, John H. Reif |
Ranomized Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 364-376, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | E. A. Sumenkov |
Algorithmization of Obtaining the Converse Comparison Theorems Based on Solving a Logical Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 428-431, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. Z. Gabbasov |
The Implicating Vector Problem and its Applications to Probabilistic and Linear Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 132-136, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. M. Ermakov, B. B. Pokhodzey |
Discrete Analogue of the Neumann Method is not Optimal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 109-112, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. B. Kudrjavitzev |
On the Conditions of Supplementicity in Functional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 268-271, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan S. Chlebus, Marek Chrobak, Krzysztof Diks |
Saturating Flows in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 82-91, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Juris Hartmanis |
Some Observations of NP Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 185-196, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Lothar Budach, Rais Gatic Bakharajev, Oleg Borisovic Lipanov (eds.) |
Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 3-540-18740-5 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. K. Zamov |
On a Connection Between the Resolution Method and the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 501-505, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt |
On the Complexity of Lie Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 172-179, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. G. Bukharajev, I. R. Nasirov |
Structur Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 68-73, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gennady P. Agibalov |
Functional Systems on Semilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 5-9, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow, Helmut Jürgensen |
Soliton Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, pp. 95-102, 1987, Springer, 3-540-18740-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|