MPG.eBooks - Search Results - "graph rewriting"

Search alternatives:
"graph rewriting" » "graph writing"

Cover Image

1

Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Published 1995

Springer Berlin Heidelberg

“... are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages...”

Cover Image

2

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

“... rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy...”