direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag

C

Introduction to Graph Grammars with Applications to Semantical Networks

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

Computers and Mathematics with Applications, 557-572. 1992

Download Bibtex Eintrag

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O.

Computability. IOS Press, 31-49. 2013

Download Bibtex Eintrag

B

Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, F.

Bull. EATCS 65, Formal Specification Column, Part 5 1998

Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal

Ehrig, H. and Orejas, F.

Bull. EATCS 53, 162–169. 1994

Download Bibtex Eintrag

Kategorielle Theorie von Automaten

Ehrig, H.

BI-Buch: Überblicke Mathematik VII, 167–218. 1974

Download Bibtex Eintrag



Restriction Constructions in Specification Logics

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag















From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Orejas, F. and Padberg, J.

BEATCS, 98–108. 1999

Download Bibtex Eintrag





Linking Algebraic High-Level Nets and Dynamic Abstract Data Types

Ehrig, H. and Padberg, J.

Algebraic Specification Column. EATCS, 132 – 144. 1994

Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe