SECTION: Mathematical pr.../ Computer Science/ Theoretical programming/

Root

Level Up

Semantics of programming languages
Formal languages and automata
Specification and verification
Grammars and rewriting systems
Abstract data types; algebraic specification
Models and methods for concurrent and distributed computing
Algebraic theory of languages and automata

Публикации Института систем информатики

Go
Hall A. Seven myths of formal methods

Go
Loenko M. On solution of nonlinear equations systems by methods of interval propagation of limitations

Go
European Association for Theoretical Computer Science

Go
Joseph Goguen

Go
CALCO 2005

Go
Workshop on Constraint Handling Rules

Go
Lakeyev A.V. Computational complexity of estimation of generalized solution sets for Interval Linear Systems

Go
IEEE Computer Society

Go