direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Sie sind auf Seite:10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19

vor >>

Sortieren nach: Autor  Jahr  Journal

E

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

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
<< zurück

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Sie sind auf Seite:10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19

vor >>

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Hilfsfunktionen