%0 Conference Paper %1 Mossakowski09 %A Mossakowski, Till %B Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday %D 2009 %E Drewes, Frank %E Habel, Annegret %E Hoffmann, Berthold %E Plump, Detlef %K algebraic logic specification teaching %P 269-286 %T On Teaching Logic and Algebraic Specification %U http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/378/353

@inproceedings{Mossakowski09, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2184a3f3995bc3a61f369432acf1281f5/tillmo}, booktitle = {Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-J{\"o}rg Kreowski on the Occasion of His 60th Birthday}, editor = {Drewes, Frank and Habel, Annegret and Hoffmann, Berthold and Plump, Detlef}, interhash = {6d17b67ec6da8c0549a14db13b18e39c}, intrahash = {184a3f3995bc3a61f369432acf1281f5}, keywords = {algebraic logic specification teaching}, pages = {269-286}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {On Teaching Logic and Algebraic Specification}, url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/378/353}, year = 2009 }