Algebra i logika, Tome 8 (1969) no. 1, pp. 93-128
Citer cet article
B. A. Trakhtenbrot. The complexity of reduction algorithms in Novikov-Boone. Algebra i logika, Tome 8 (1969) no. 1, pp. 93-128. http://geodesic.mathdoc.fr/item/AL_1969_8_1_a5/
@article{AL_1969_8_1_a5,
author = {B. A. Trakhtenbrot},
title = {The complexity of reduction algorithms in {Novikov-Boone}},
journal = {Algebra i logika},
pages = {93--128},
year = {1969},
volume = {8},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1969_8_1_a5/}
}
TY - JOUR
AU - B. A. Trakhtenbrot
TI - The complexity of reduction algorithms in Novikov-Boone
JO - Algebra i logika
PY - 1969
SP - 93
EP - 128
VL - 8
IS - 1
UR - http://geodesic.mathdoc.fr/item/AL_1969_8_1_a5/
LA - ru
ID - AL_1969_8_1_a5
ER -
%0 Journal Article
%A B. A. Trakhtenbrot
%T The complexity of reduction algorithms in Novikov-Boone
%J Algebra i logika
%D 1969
%P 93-128
%V 8
%N 1
%U http://geodesic.mathdoc.fr/item/AL_1969_8_1_a5/
%G ru
%F AL_1969_8_1_a5
