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