Search alternatives:
"structuralism" » "structurally"

1
by Ehrig, Hartmut, Mahr, Bernd, Cornelius, Felix, Große-Rhode, Martin
Published 1999
Springer Berlin Heidelberg
Subjects: ...Data structures (Computer science)...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Net Control for Grammar Systems -- Regular Event Structures and Finite Petri Nets: A Conjecture...

3
by Corradini, Andrea
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Data structures (Computer science)...

4
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: ...Data structures (Computer science)...

5
by Brauer, Wilfried
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Data structures (Computer science)...

6
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... systems and the composition of their computations -- Relational structures and their partial morphisms...

7
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... transformation and optimization -- Inductively defined functions -- Three approaches to type structure...

8
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... and Application Conditions: From Graphs to High-Level Structures -- Specification Matching of Web Services Using...

9
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... structure -- Categories and mathematical morphology -- Topological spaces for cpos -- On the topological...

10
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... programming -- Graphs as relational structures : An algebraic and logical approach -- Context-free handle...

11
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... and verification -- An event structure semantics for graph grammars with parallel productions -- Synchronized...

12
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure...

13
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation...

14
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... of streams -- Characterizing Kripke structures in temporal logic -- Dialogue with a proof system -- Induction...

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype...

16
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... for the development of an integrated programming support environment -- Multidimensional tree-structured file spaces...

17
by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006
Springer Berlin Heidelberg
...Graphs are widely used to represent structural information in the form of objects and connections...

18
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... based specification of interconnection structures for massively parallel computation -- Towards...

19
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Structures...

20
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Complex Data Structures by Hyperedge Replacement -- Inductively Sequential Term-Graph Rewrite Systems...