| Publication | Date of Publication | Type |
|---|
From finite automata toward hybrid systems (Extended abstract)
Fundamentals of Computation Theory | 2022-12-09 | Paper |
On nets, algebras and modularity
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Automata, circuits and hybrids
Proceedings of the thirty-third annual ACM symposium on Theory of computing | 2015-02-27 | Paper |
From Logic to Theoretical Computer Science – An Update
Pillars of Computer Science | 2008-03-25 | Paper |
scientific article; zbMATH DE number 2112986 (Why is no real title available?)
| 2004-11-01 | Paper |
scientific article; zbMATH DE number 2112987 (Why is no real title available?)
| 2004-11-01 | Paper |
A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
IEEE Annals of the History of Computing | 2002-11-25 | Paper |
scientific article; zbMATH DE number 1736370 (Why is no real title available?)
| 2002-07-16 | Paper |
scientific article; zbMATH DE number 1754581 (Why is no real title available?)
| 2002-06-12 | Paper |
scientific article; zbMATH DE number 1390054 (Why is no real title available?)
| 2002-02-13 | Paper |
In memory of S. A. Yanovskaya
Istoriko-Matematicheskie Issledovaniya. Vtoraya Seriya | 2001-05-08 | Paper |
scientific article; zbMATH DE number 1342354 (Why is no real title available?)
| 2000-03-29 | Paper |
scientific article; zbMATH DE number 1051241 (Why is no real title available?)
| 1997-08-24 | Paper |
scientific article; zbMATH DE number 978247 (Why is no real title available?)
| 1997-06-03 | Paper |
scientific article; zbMATH DE number 591003 (Why is no real title available?)
| 1996-11-10 | Paper |
scientific article; zbMATH DE number 177822 (Why is no real title available?)
| 1993-05-18 | Paper |
Connectedness and synchronization
Theoretical Computer Science | 1992-06-26 | Paper |
scientific article; zbMATH DE number 4180816 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4110070 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4119609 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4074506 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4074442 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4145879 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3992917 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3890703 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3738909 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3657795 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3684885 (Why is no real title available?)
| 1979-01-01 | Paper |
Completeness of algorithmic logic
Cybernetics | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3553748 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3609124 (Why is no real title available?)
| 1977-01-01 | Paper |
Frequency computations
Proceedings of the Steklov Institute of Mathematics | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3601585 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3547271 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3557240 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3475428 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3441606 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3427224 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3456912 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3446871 (Why is no real title available?)
| 1973-01-01 | Paper |
On the complexity of reduction algorithms in Novikov-Boone constructions
Algebra and Logic | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3343692 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3334172 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3317755 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3273885 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3399206 (Why is no real title available?)
| 1966-01-01 | Paper |
Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson
Studies in Logic and the Foundations of Mathematics | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3319550 (Why is no real title available?)
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3319549 (Why is no real title available?)
| 1964-01-01 | Paper |
scientific article; zbMATH DE number 3409238 (Why is no real title available?)
| 1964-01-01 | Paper |
scientific article; zbMATH DE number 3226831 (Why is no real title available?)
| 1964-01-01 | Paper |
The definition of finite set and the deductive incompleteness of the theory of sets
Fifteen Papers on Topology and Logic | 1964-01-01 | Paper |
scientific article; zbMATH DE number 3305048 (Why is no real title available?)
| 1964-01-01 | Paper |
scientific article; zbMATH DE number 3304976 (Why is no real title available?)
| 1963-01-01 | Paper |
Impossibility of an algorithm for the decision problem in finite classes
Nine Papers on Logic and Quantum Electrodynamics | 1963-01-01 | Paper |
scientific article; zbMATH DE number 3177069 (Why is no real title available?)
| 1963-01-01 | Paper |
scientific article; zbMATH DE number 3186871 (Why is no real title available?)
| 1962-01-01 | Paper |
Finite automata and the logic of one-place predicates
Twelve Papers on Logic and Algebra | 1962-01-01 | Paper |
scientific article; zbMATH DE number 3170711 (Why is no real title available?)
| 1962-01-01 | Paper |
scientific article; zbMATH DE number 3186872 (Why is no real title available?)
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3273196 (Why is no real title available?)
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3143948 (Why is no real title available?)
| 1959-01-01 | Paper |
scientific article; zbMATH DE number 3142460 (Why is no real title available?)
| 1959-01-01 | Paper |
scientific article; zbMATH DE number 3178007 (Why is no real title available?)
| 1959-01-01 | Paper |
scientific article; zbMATH DE number 3188790 (Why is no real title available?)
| 1959-01-01 | Paper |
scientific article; zbMATH DE number 3150821 (Why is no real title available?)
| 1958-01-01 | Paper |
scientific article; zbMATH DE number 3137366 (Why is no real title available?)
| 1958-01-01 | Paper |
scientific article; zbMATH DE number 3128652 (Why is no real title available?)
| 1957-01-01 | Paper |
scientific article; zbMATH DE number 3131414 (Why is no real title available?)
| 1957-01-01 | Paper |
scientific article; zbMATH DE number 3119297 (Why is no real title available?)
| 1956-01-01 | Paper |
scientific article; zbMATH DE number 3112804 (Why is no real title available?)
| 1955-01-01 | Paper |
scientific article; zbMATH DE number 3108384 (Why is no real title available?)
| 1955-01-01 | Paper |
scientific article; zbMATH DE number 3078481 (Why is no real title available?)
| 1953-01-01 | Paper |
scientific article; zbMATH DE number 3057871 (Why is no real title available?)
| 1950-01-01 | Paper |
