MPG.eBooks - Search Results - "graph rewriting"

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

Cover Image

1

Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood...

Published 1993

Springer London

Table of Contents: “... -- Deriving Category Theory from Type Theory -- Graph Rewriting Systems and Abstract Interpretation...”