3rd Ershov Memorial Conference 1999: Novosibirsk, Russia

Refine list

showing all ?? records

Algebraic Specifications

Specifications with States

Partial Evaluation and Supercompilation

Concurrency and Parallelism

Logic and Processes

Languages and Software

Database Programming

Object-Oriented Programming

Constraint Programming

Model & Program Checking

Artificial Intelligence

a service of  Schloss Dagstuhl - Leibniz Center for Informatics