A. V. Babichev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Orientation in a maze Automation and Remote Control	2009-02-26	Paper
Model-100: specification language for interacting processes Programming and Computer Software	2007-07-05	Paper
Rational terms and rational numbers Automation and Remote Control	2004-10-19	Paper
Weak monadic theories of the second order as a basis for creating data specification languages Automation and Remote Control	1999-05-03	Paper
Classification of control of types in programs with complex data types Automation and Remote Control	1989-01-01	Paper
Calculi in which derivability is decidable by finite interpretations Automation and Remote Control	1988-01-01	Paper
Language generation and recognition over terms Automation and Remote Control	1988-01-01	Paper
Parallel execution of program loops Programming and Computer Software	1983-01-01	Paper
Nonenumerative parsing of CF-languages Programming and Computer Software	1982-01-01	Paper
Some theoretical aspects of parallel parsing Cybernetics	1982-01-01	Paper
Modification of the LR(k) parser for parallel syntactic analysis Programming and Computer Software	1981-01-01	Paper
Automata that accept languages generated by precedence grammars Programming and Computer Software	1978-01-01	Paper
The conversion of engendering grammars into a form observing precedence functions Programming and Computer Software	1977-01-01	Paper

Research outcomes over time

This page was built for person: A. V. Babichev