Search alternatives:
"graph rewriting" » "graph writing"
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of impredicative type theories -- Two results on set-theoretic polymorphism -- An algebra of graphs and graph...”