Theoretical Computer Science

Publications by Berthold Hoffmann in 2005 (get BIBTeX file):

Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas: Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127:15-26, 2005.

Berthold Hoffmann: Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, volume 3393 of Lecture Notes in Computer Science, pages 101-115. Springer, 2005.


	Research Group Theoretical Computer Science
Mail to webmaster	Publications by Berthold Hoffmann in 2005 (get BIBTeX file): Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas: Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127:15-26, 2005. Berthold Hoffmann: Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, volume 3393 of Lecture Notes in Computer Science, pages 101-115. Springer, 2005.	Mail to webmaster
		©