MPG.eBooks - Search Results

1

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 19...

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL...”

Read Now

2

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Properties for Real Traces and a Direct Translation from LTL to Monoids -- The Delta Operation: From Strings...”

Read Now

3

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java...”

Read Now

4

Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... translations between graph algebras --...”

Read Now

5

Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... with Injective Matching -- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approacht...”

Narrow Search