Search alternatives:
structure functions » structure function

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

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM...

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...On the complexity of branching programs and decision trees for clique functions -- Average...

4
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic...

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs...

6
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems...

7
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... specifications in Larch -- The role of proof obligations in software design -- Functional semantics of modules...