A. V. Babichev

Available identifiers

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

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