Doklady Akademii Nauk, Tome 140 (1961) no. 2, pp. 326-329
Citer cet article
B. A. Trakhtenbrot. Finite automata and the logic of single-place predicates. Doklady Akademii Nauk, Tome 140 (1961) no. 2, pp. 326-329. http://geodesic.mathdoc.fr/item/DAN_1961_140_2_a13/
@article{DAN_1961_140_2_a13,
author = {B. A. Trakhtenbrot},
title = {Finite automata and the logic of single-place predicates},
journal = {Doklady Akademii Nauk},
pages = {326--329},
year = {1961},
volume = {140},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1961_140_2_a13/}
}
TY - JOUR
AU - B. A. Trakhtenbrot
TI - Finite automata and the logic of single-place predicates
JO - Doklady Akademii Nauk
PY - 1961
SP - 326
EP - 329
VL - 140
IS - 2
UR - http://geodesic.mathdoc.fr/item/DAN_1961_140_2_a13/
LA - ru
ID - DAN_1961_140_2_a13
ER -
%0 Journal Article
%A B. A. Trakhtenbrot
%T Finite automata and the logic of single-place predicates
%J Doklady Akademii Nauk
%D 1961
%P 326-329
%V 140
%N 2
%U http://geodesic.mathdoc.fr/item/DAN_1961_140_2_a13/
%G ru
%F DAN_1961_140_2_a13
