Martin Beyer

According to our database, Martin Beyer authored at least 4 papers between 1993 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Formalization of Algebraic Specification in the Development Language DEVA.

Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer

Proceedings of the KORSO, 1995

1993

AGG - An Implementation of Algebraic Graph Rewriting.

Michael Löwe, Martin Beyer

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract).

Matthias Anlauff, Martin Beyer, Thomas Santen

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System.

Gabriele Taentzer, Martin Beyer

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993