An unsolvable algorithmic problem for deterministic push-down
Doklady Akademii Nauk, Tome 342 (1995) no. 6, pp. 744-746
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1995_342_6_a5,
author = {L. I. Stanevichene},
title = {An unsolvable algorithmic problem for deterministic push-down},
journal = {Doklady Akademii Nauk},
pages = {744--746},
publisher = {mathdoc},
volume = {342},
number = {6},
year = {1995},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1995_342_6_a5/}
}
L. I. Stanevichene. An unsolvable algorithmic problem for deterministic push-down. Doklady Akademii Nauk, Tome 342 (1995) no. 6, pp. 744-746. http://geodesic.mathdoc.fr/item/DAN_1995_342_6_a5/