direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E




Algebraic Implementation of Abstract Data Types

Ehrig, H., Kreowski, H. J., Mahr, B. and Padawitz, P.

TCS, 209–263. 1982

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

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. W., Wagner, E. G. and Wright, J. B.

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

Download Bibtex Eintrag

Refinement and Implementation

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

Algebraic Foundations of Systems Specification. Springer Verlag, 201–242. 1999

Download Bibtex Eintrag

The Skeleton of Minimal Realization

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

Studien zur Algebra und Anwendungen. Akademie-Verlag, 137–154. 1979

Download Bibtex Eintrag

Parallel Graph Grammars

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

Automata, Languages, Development. Amsterdam: North Holland, 425–447. 1976

Download Bibtex Eintrag

A Graph Grammar Approach to Optimal and Consistent Schedules in Data Base Systems

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

Proc. Workshop WG'79 Graphentheoretische Konzepte in der Informatik, Berlin. Hanser-Verlag München-Wien, 223–240. 1979

Download Bibtex Eintrag

Parameter passing commutes with implementation of parameterized data types

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

9th Int. Coll. Automata, Languages, and Programming, Aarhu. SPRINGER, 197–211. 1982

Download Bibtex Eintrag

Keywords in Context: An Algebraic Specification

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

Proc. Workshop on Program Specification, Aarhus, Denmark. SPRINGER, 78–83. 1981

Download Bibtex Eintrag



Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts

Ehrig, H., Korff, M. and Löwe, M.

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

Download Bibtex Eintrag

Pushout-properties: an analysis of gluing constructions for graphs

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

Mathematische Nachrichten, 135–149. 1979

Download Bibtex Eintrag


Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme

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

Proc. Workshop Formale Modelle für Informationssysteme, IFB 21, 181–198. 1979

Download Bibtex Eintrag

Pushout Properties: An Analysis of Gluing Constructions for Graphs,

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

Proc. Nordwestdeutsches Kategorienseminar, Bielefeld. University of Bielefeld, 69–89. 1978

Download Bibtex Eintrag

Algebraic Theory of Graph Grammars Applied to Consistency and Synchronization in Data Base Systems

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

Proc. Workshop WG'78 Graphentheoretische Konzepte in der Informatik. Hanser Verlag, 227-244. 1978

Download Bibtex Eintrag

Categorical theory of graphical systems and graph grammars

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

Conf. Report Algebraic System Theory, Udine 1975, Lecture Notes Econ. Math. Syst. 131 (1976). SPRINGER, 323–351. 1976

Download Bibtex Eintrag

Parallelism of Manipulations in Multidimensional Information Structures

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

Proc. Conf. Math. Foundations of Computer Science. SPRINGER, 284 – 293. 1976

Download Bibtex Eintrag

Minimization Concepts of Automata in Pseudoclosed Categories

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

Conf. Report Algebraic System Theory, Udine 1975, Lecture Notes Econ. Math. Syst. 131 (1976). SPRINGER, 359–374. 1976

Download Bibtex Eintrag

Algebraic Graph Theory Applied in Computer Science

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

Proc. Conf. Categorical and Algebraic Methods in Comp. Science and Systems Theory, Dortmund, Germany 1976

Download Bibtex Eintrag

Systematic Approach to Reduction and Minimization in Automata and System Theory

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

Journal Computer Syst. Science, 269–304. 1976

Download Bibtex Eintrag

Power and Initial Automata in Pseudoclosed Categories

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

Proc. 1st Intern. Symp. Category Theory Applied to Computation and Control, San Francisco. SPRINGER, 144–150. 1975

Download Bibtex Eintrag

Deriving Structures from Structures

Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. and Winkowski, J.

Proc. 7th Int. Symp. on Math. Found. of Comp. Science, Zakopane. SPRINGER, 177–190. 1978

Download Bibtex Eintrag

Transformation of structures: an algebraic approach

Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. K. and Winkowski, J.

Mathematical Systems Theory, 305–334. 1981

Download Bibtex Eintrag

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems

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

Proc. Conf. Math. Foundations of Computer Science, Rydzyna. SPRINGER, 231-245. 1980

Download Bibtex Eintrag

Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors

Ehrig, H., Kreowski, H.-J. and Orejas, F.

REVISTA MAEMATICA de la Universidad Complutense de Madrid, vol. 10, no. 2, 365–387. 1997

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe