Anisimov A V

Publications in Math-Net.Ru

1. Parallel programming technology “PARUS”
   
   Avtomat. i Telemekh., 1990, no. 6,  153–160
2. Recursive information converters
   
   Diskr. Mat., 1:3 (1989),  3–18
3. Studying the life cycles of complex industrial systems by using Petri nets
   
   Avtomat. i Telemekh., 1987, no. 4,  90–101
4. Church–Rosser marking transducers and decidable properties in tree processing
   
   Dokl. Akad. Nauk SSSR, 249:5 (1979),  1033–1035
5. On the adequacy of mathematical simulation of a complex information and measuring system
   
   Dokl. Akad. Nauk SSSR, 240:2 (1978),  287–290
6. Certain algorithmic questions for a Dyck language
   
   Dokl. Akad. Nauk SSSR, 211:3 (1973),  513–515