direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E



A Case Study of Abstract Implementation and their Correctness

Ehrig, H., Kreowski, H.-J. and Padawitz, P.

Proc. 4th Int. Symp. on Programming. SPRINGER, 108–122. 1980

Download Bibtex Eintrag

Algebraic implementation of abstract data types: Concept, Syntax, Semantics, and Correctness.

Ehrig, H., Kreowski, H.-J. and Padawitz, P.

Proc. ICALP'80. SPRINGER, 142–156. 1980

Download Bibtex Eintrag

Stepwise specification and implementation of abstract data types

Ehrig, H., Kreowski, H.-J. and Padawitz, P.

5th Int. Coll. Automata, Languages, and Programming. SPRINGER, 205–226. 1978

Download Bibtex Eintrag

Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten

Ehrig, H., Kreowski, H.-J. and Pfender, M.

Math. Nachr., 105–124. 1974

Download Bibtex Eintrag

Canonical Derivations for High Level Replacement Systems

Ehrig, H., Kreowski, H.-J. and Taentzer, G.

Graph Transformation in Computer Science. SPRINGER, 153–169. 1994

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

, 45–81. 1984

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

Workshop on Program Specification, Aarhus. SPRINGER, 322–369. 1981

Download Bibtex Eintrag

Parameterized data types in algebraic specification languages

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

Proc. ICALP '80. SPRINGER, 157–168. 1980

Download Bibtex Eintrag

Algebraic specification schemes for data base systems.

Ehrig, H., Kreowski, H.-J. and Weber, H.

Proc. 4th Int. Conf. Very Large Data Bases. Hahn-Meitner-Institut für Kernforschung, HMI-B266, 427–440. 1978

Download Bibtex Eintrag





From Parallel to Distributed Derivations of Graphs in the Single Pushout Approach

Ehrig, H. and Löwe, M.

Memorial Volume for R. Frank, Inf. Fachberichte 309, Berlin. SPRINGER, 47–65. 1992

Download Bibtex Eintrag




Computing by graph transformation–overall aims and new results

Ehrig, H. and Löwe(eds.), M.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 688–697. 1991

Download Bibtex Eintrag




The ESPRIT BRWG COMPUGRAPH Computing by Graph Transformations : A Survey

Ehrig, H. and Löwe, M.

TCS 109. North-Holland, 3 – 6. 1993

Download Bibtex Eintrag

Dynamic Abstract Data Types Based on Algebraic Graph Transformations

Ehrig, H., Löwe, M. and Orejas, F.

Proc. of ADT-COMPASS Workshop. SPRINGER, 236-254. 1995

Download Bibtex Eintrag


Locally Star-Gluing Formulas for a Class of Parallel Graph Grammars

Ehrig, H. and Liedtke, A.

1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER. 1979

Download Bibtex Eintrag

DoublePB and loose Semantics(???)

Ehrig, H., Llabres, M. and Heckel, R.

Proc. international GraGra Workshop 1998

Download Bibtex Eintrag

Future Trends of TAPSOFT

Ehrig, H. and Mahr, B.

TAPSOFT'97. SPRINGER, 6–10. 1997

Download Bibtex Eintrag

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 134-152. 2001

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe