dblp.uni-trier.de www.uni-trier.de

3. Ershov Memorial Conference 1999: Novosibirsk, Russia

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Lecture Notes in Computer Science 1755 Springer 2000, ISBN 3-540-67102-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Copyright © Mon Nov 2 20:34:28 2009 by Michael Ley (ley@uni-trier.de)