4th Ershov Memorial Conference 2001: Novosibirsk, Russia

Refine list

showing all ?? records

Memorial Session

Computing and Algorithms

Logical Methods

Verification

Program Transformation and Synthesis

Semantics & Types

Processes and Concurrency

UML Specification

Petri Nets

Testing

Software Construction

Data & Knowledge Bases

Logic Programming

Constraint Programming

Program Analysis

Language Implementation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics