Search CORE

35 research outputs found

Equivalence problem for finitely iterated counter machines

Author: B. S. Baker
L. P. Lisovik
P. C. Fischer
S. Garland
V. N. Red'ko
V. N. Red'ko
V. N. Red'ko
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1981
Field of study

Finite automata over a direct product of free semigroups and groups and languages

Author: A. Aho
A. B. Stavrovskii
A. G. Kurosh
D. Luckham
E. S. Lyapin
P. V. Gorshkov
S. C. Kleene
S. Ginsburg
V. M. Glushkov
V. M. Glushkov
V. N. Red'ko
V. N. Red'ko
V. N. Red'ko
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1991
Field of study

A method of groupwise determination of the parameters of mechanical systems

Author: B. P. Demidovich
S. F. Red'ko
V. A. Lazaryan
V. P. Yakovlev
Yu. V. Linnik
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Properties of (Hf, Zr)TiO4 solid solutions

Author: A. V. Shevchenko
A. V. Zyrin
I. M. Maister
L. M. Lopato
P. B. Terekhovskii
R. Ruh
R. W. Lunch
S. R. Skaggs
V. P. Red'ko
V. P. Red'ko
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Inverse fibonacci transformation

Author: A. V. Anisimov
S. E. Red'ko
S. Vinograd
S. Vinograd
Ya. P. Ryndin
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1983
Field of study

Solvable problems for transformers with reversal-bounded counters

Author: A. A. Letichevskii
A. A. Letichevskii
A. I. Mal'tsev
A. P. Lisovik
L. Lipshitz
L. P. Lisovik
L. P. Lisovik
M. L. Minsky
O. H. Ibarra
S. Ginzburg
V. M. Glushkov
V. N. Red'ko
V. N. Red'ko
Yu. V. Matiyasevich
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1986
Field of study

Algorithmic questions for real functions

Author: A. Mal'tsev
A. Mostovskii
B. A. Kushner
D. B. Bui
D. König
L. P. Lisovik
L. P. Lisovik
L. P. Lisovik
M. B. Pour-el
P. Martin-Lef
S. Eilenberg
V. N. Red'ko
V. N. Red'ko
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1987
Field of study

Lightweight refractories semidry-molded from Borovich clay

Author: A. S. Yutina
G. S. Red'ko
V. F. Lukashev
V. P. Rakina
V. V. Radin
Z. M. Rutman
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Algorithmic solvability of comparison problems for finitely ambiguous sequence transducers on superwords

Author: A. V. Anisimov
K. I. ?ulik
L. P. Lisovik
R. McNaughton
S. Ginsburg
V. A. Kanivets
V. N. Red'ko
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1989
Field of study

Minimal undecidable identity problem for finite-automaton mappings

Author: C. C. Elgot
E. Post
J. Shoenfield
L. P. Lisovik
L. P. Lisovik
L. P. Lisovik
S. Ginsburg
V. M. Glushkov
V. N. Red'ko
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1983
Field of study

core

core