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

1. TAPSOFT 1985: Berlin, Germany

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.): Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). Lecture Notes in Computer Science 185 Springer 1985, ISBN 3-540-15198-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Advanced Seminar on the Role of Semantics in Software Development

Concepts of Semantics with a View to Software Development

The Role of Semantics in Language Design

Colloquium on Trees in Algebra and Programming

Algorithms and Combinatorics

Rewriting

Concurrency

Graph Grammars and Formal Languages

Specifications

Semantics and Data Types

Copyright © Mon Nov 2 21:15:49 2009 by Michael Ley (ley@uni-trier.de)