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. |
FCT |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan S. Chlebus, Krzysztof Diks, Torben Hagerup, Tomasz Radzik |
New Simulations between CRCW PRAMs. |
FCT |
1989 |
DBLP DOI BibTeX RDF |
|
1 | P. I. Validov |
On the Standard and Pseudostandard Star Height of Regular Sets. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Igor Gashkov, V. M. Sidelnikov |
Codes, Connected With a Fraction Linear Functions Group and Their Decoding. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. M. Zacharov, S. E. Kuznetsov |
Complexity of the Problem of Approximation of Stochastic Matrix by Rational Elements. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai K. Kossovsky |
A Chriterion of Polynominal Lower Bounds of Combinational Complexity. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Lothar Budach |
Arsenals and Lower Bounds. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen 0001 |
Dyck1-Reductions of Context-free Languages. |
FCT |
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. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | B. A. Buyevich |
On A-Completeness for some Classes of Bounded Determitate Functions. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Lev A. Sholomov |
The Complexity of the Sequential Choice Mechanism. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Kriegel, Stephan Waack |
Exponential Lower Bounds for Real-Time Branching Programs. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Sytnik |
Synthesis of Universal Finite Automats. |
FCT |
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. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Kowalczyk, Pawel Urzyczyn |
Verification of Programs with Higher-Order Arrays. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. G. Mubarakzianov |
Metric Properties of Random Sequence. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Igor S. Grunsky |
A Characterization of Sequential Machines by Means of Their Behaviour Fragments. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | K. V. Kolyada |
On the Problem of Completeness for the Regular Mappings. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | G. V. Babikov |
On Direct Methods of Realization of Normal Algorithms by Turing Machines. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. G. Bukharajev, A. I. Enikeev, I. I. Makarov |
Chain-like Model of Programs Communication. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | I. P. Cuhrov |
On the Number of DNF Minimal Relatively Arbitrary Measures of Complexity. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints |
Some Formal Systems of the Logic Programming. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. V. Alyoshin |
Automata Classes Induced by Post Classes. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. A. Kozlovskiy |
On the Complexity of Analyzing Experiments for Checking local Faults of an Automaton. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alexander E. Andreev |
Effective Lower Bounds for Complexity of Some Classes of Schemes. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Index-Sets of Factor-Objects of the Post Numbering. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. Kh. Latypov |
Built-in Self-testing of Logic Circuits Using Imperfect Duplication. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. I. Mukhin |
Adaptive Strategies for Partially Observable Controlled Ranom Series. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. A. Karpova |
On Complexity of Computations with Limited Memory. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko |
Semantic Foundations of Programming. |
FCT |
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. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. V. Anisimov, Vladimir A. Oleshchuk |
Stable Finite Automata Mappings and Church-Rosser Systems. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. D. Soloviev |
Nondeterministic Finite Algorithmic Procedures as the Models of Abstract Computability. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Arkadij Zakrevskij |
The Analysis of Concurrent Logic Control Algorithms. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | I. G. Perfilyeva |
Evaluatiobn of Cardinalities of Some Families of -Classes in Proh0. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Bolotov |
On the Equivalence Problem of States for Cellular Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. R. Solovieva |
The Reducibility of Random Sequences by Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | M. A. Iordanskii |
Minimal Numberings of the Vertices of Trees - Approximate Approach. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | I. K. Rystsov |
The Parallel Complexity of Some Arithemic and Algebraic Operations. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michael Zakharyaschev |
Theorem Proving in Intermediate and Modal Logics. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. B. Ugol'nikov |
Complexity and Depth of Formulas Realizing Functions From Closed Classes. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sergey A. Bogomolov |
On the Synthesis of "Irredundant" Automata from a Finite Set of Experiments. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. N. Vassiljev |
To Automation of Theorem Sythesis. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. A. Stepanov, Igor E. Shparlinski |
On Structure Complexity of Normal Basis of Finite Field. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Kotov, Ludmila Cherkasova |
On Generalized Process Logic. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nina V. Evtushenko |
Conditions for Existence of Nontrivial Parallel Decompositions of Sequential Machines. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Irina A. Lomazova |
Procedural Implementation of Algebraic Specifications of Abstract Data Types. |
FCT |
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. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | L. M. Karahanjan, Alexander A. Sapozhenko |
On Some Operations of Partial Monotone Boolean Function Simplifying. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. J. Mikhailov |
A Solving of Problems on Technological Models. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. S. Barashko |
The New Way of Probabilistic Compact Testing. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Deductive Program Synthesis and Markov's Principle. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Ju. Moshkov |
On the Programs with Finite Development. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. N. Noskov |
Statistically Effective Algorithms for Automata Control. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alan Gibbons, Wojciech Rytter |
Fast Parallel Algorithms for Optimal Edge-Colouring of some Tree-structured Graphs. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Stetsenko |
On Comparison of Boolean Bases. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. S. Strogalov |
On Metric Properties of Automata and Epsilon-Approximation of Automaton Mapping. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dainis Geidmanis |
On the Capabilities of Alternating and Nondeterministic Multitape Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Sapozhenko |
The Number of Fuzzy Monotone Functions. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Valery B. Alekseyev |
Recognition of Properties in K-Valued Logic and Approximate Algorithms. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. S. Podkolzin |
On the Temporal Complexity of Boolean Mappings Realizations iin Two-dimensional Homogeneous Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | M. Yu. Baryshev, L. P. Zhil'tzova, A. A. Markov |
Computational Problems in Alphabetic Coding Theory. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Yu. Sazonov |
Bounded Set Theory and Polynominal Computability. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Farid M. Ablayev |
Possibilities of Probabilistic on-line Counting Machines. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ildar R. Nasyrov |
The Degrees of Nondeterminism in Pushdown Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | D. N. Babin |
Verbal Operation on Automaton. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Elena Stöhr |
A Tradeoff Between Pagenumber and Width of Book Embedding of Graphs. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. D. Astakhov |
Duality of Functions and Data in Algorithms Description. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Daina Taimina |
Complexity Gaps of Turing Machines of Infinite Words. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. M. Ermakov, A. S. Rasulov |
A Simplest Probability Model of Asynchronous Iterations. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Safarian |
On Difficulties of Solving a Problem of Decomposition of the System of Boolean Equations. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | E. E. Gasanov |
Some Asymptotic Evalutions of Complexity of Information Searching. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Thalheim |
On the Number of Keys in Relational Databases. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai N. Kuzjurin |
On One Approximate Algorithm for Solving Systems of Linear Inequalities with Boolean Variables. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Marat M. Arslanov |
The Recursion Theorem, Approximations, and Classifying Index Sets of Recursively Enumerable Sets. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | G. E. Cejtlin, E. L. Jushchenko |
Structure Synthesis of Parallel Programs (Methodology and Tools). |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dietrich O. F. Gronau |
Efficient Algorithmic Construction of Designs. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. I. Enikeev |
On Development of Dialogue Concurrent Systems. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | M. I. Grinchuk |
On the Complexity of Elementary Periodical Functions Realized by Switching Circuites. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Armin Hemmerling |
Three-Dimensional Traps and Barrages for Cooperating Automata (Extended Abstract). |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. I. Podlovcenko |
On Approximate Solution of the Problem of Equivalent Transformations of Programs. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Uhlig |
Reliable Networks from Unreliable Gates With Almost Minimal Complexity. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. I. Pereyaslavsky |
Linear Test Procedures of Recognition. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. A. Alexanyan |
Linearized Disjunctive Normal Forms of Boolean Functions. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. B. Frolov |
On the Digital System Diagnostics under Uncertainty. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. A. Shkalikova |
On Realization of Boolean Functions by Schemes Consisting of Checked Elements. |
FCT |
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. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Sanguthevar Rajasekaran, John H. Reif |
Ranomized Parallel Computation. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | E. A. Sumenkov |
Algorithmization of Obtaining the Converse Comparison Theorems Based on Solving a Logical Equation. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. Z. Gabbasov |
The Implicating Vector Problem and its Applications to Probabilistic and Linear Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | S. M. Ermakov, B. B. Pokhodzey |
Discrete Analogue of the Neumann Method is not Optimal. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | V. B. Kudrjavitzev |
On the Conditions of Supplementicity in Functional Systems. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan S. Chlebus, Marek Chrobak, Krzysztof Diks |
Saturating Flows in Networks. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Juris Hartmanis |
Some Observations of NP Complete Sets. |
FCT |
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 |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | N. K. Zamov |
On a Connection Between the Resolution Method and the Inverse Method. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt |
On the Complexity of Lie Algebras. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | R. G. Bukharajev, I. R. Nasirov |
Structur Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gennady P. Agibalov |
Functional Systems on Semilattices. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow, Helmut Jürgensen |
Soliton Automata. |
FCT |
1987 |
DBLP DOI BibTeX RDF |
|