%0 Conference Paper %1 conf/fm/Klaeren81 %A Klaeren, Herbert %B Program Specification %D 1981 %E Staunstrup, Jørgen %I Springer %K dblp %P 268-281 %T Recursive Definitions of Operations in Universal Algebras. %U http://dblp.uni-trier.de/db/conf/fm/ps1981.html#Klaeren81 %V 134 %@ 3-540-11490-4

@inproceedings{conf/fm/Klaeren81, added-at = {2017-05-19T00:00:00.000+0200}, author = {Klaeren, Herbert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/231fe0a01e42f26a2d08b94ff17bd9f4c/dblp}, booktitle = {Program Specification}, crossref = {conf/fm/1981}, editor = {Staunstrup, Jørgen}, ee = {https://doi.org/10.1007/3-540-11490-4_18}, interhash = {4bab28cfa9aa645ceec27ca0da62f0a9}, intrahash = {31fe0a01e42f26a2d08b94ff17bd9f4c}, isbn = {3-540-11490-4}, keywords = {dblp}, pages = {268-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:51:53.000+0200}, title = {Recursive Definitions of Operations in Universal Algebras.}, url = {http://dblp.uni-trier.de/db/conf/fm/ps1981.html#Klaeren81}, volume = 134, year = 1981 }