RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1979 Volume 249, Number 5, Pages 1033–1035 (Mi dan43199)

This article is cited in 1 paper

MATHEMATICS

Church–Rosser marking transducers and decidable properties in tree processing

A. V. Anisimov

National Taras Shevchenko University of Kyiv

UDC: 62-5:681.3:007

Presented: V. M. Glushkov
Received: 04.06.1979



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024