Current Trends in Theoretical Computer Science,
2001
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.):
Current Trends in Theoretical Computer Science, Entering the 21th Century.
World Scientific 2001, ISBN 981-02-4473-8 BibTeX
@book{DBLP:books/ws/PhaunRS01,
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Current Trends in Theoretical Computer Science, Entering the
21th Century},
publisher = {World Scientific},
year = {2001},
isbn = {981-02-4473-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Computational Complexity
Formal Specification
- Hartmut Ehrig, Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997.
118-130 BibTeX
- Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
131-133 BibTeX
- Hartmut Ehrig, Bernd Mahr:
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.
134-152 BibTeX
- Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification and Development.
153-163 BibTeX
- Andrea Corradini, Hans-Jörg Kreowski:
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.
164-170 BibTeX
- Julia Padberg:
Classification of Petri Nets Using Adjoint Functors.
171-179 BibTeX
- Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994.
180-191 BibTeX
- Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
192-201 BibTeX
- Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
202-214 BibTeX
- Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages.
215-225 BibTeX
- Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
226-232 BibTeX
Logic in Computer Science
Concurrency
Natural Computing
Formal Language Theory
Copyright © Sat May 16 22:54:29 2009
by Michael Ley (ley@uni-trier.de)
