Graph Grammars and Their Application to Computer ScienceJanice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz RozenbergHäftad1 074 kr
Higher-Order Algebra, Logic, and Term RewritingGilles Dowek, Jan Heering, Karl Meinke, Bernhard MöllerHäftad557 kr