ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas. Typical contributions to CAI come from the following areas of interest (ordered alphabetically). ##abstract machines or systems ##acceptors and transducers for discrete structures ##algebraic aspects of cryptography ##algebraic characterization of logical theories ##algebraic coding theory ##algebraic semantics ##algebraic specifications and algorithms ##computational number theory ##decision problems ##finite and infinite computations ##formal power series ##hybrid automata ##process algebra ##program construction and refinements ##term rewriting