[{"author":[{"full_name":"Pletat, Udo","last_name":"Pletat","first_name":"Udo"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"full_name":"Ehrich, Hans-Dietrich","last_name":"Ehrich","first_name":"Hans-Dietrich"}],"status":"public","title":"Operational Semantics of Algebraic Specifications with Conditional Equations","year":"1981","date_updated":"2022-01-06T07:03:51Z","language":[{"iso":"eng"}],"_id":"8185","publisher":"University of Dortmund, Department of Computer Science","user_id":"52534","citation":{"apa":"Pletat, U., Engels, G., &#38; Ehrich, H.-D. (1981). <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science.","ieee":"U. Pletat, G. Engels, and H.-D. Ehrich, <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science, 1981.","short":"U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981.","chicago":"Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science, 1981.","mla":"Pletat, Udo, et al. <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science, 1981.","ama":"Pletat U, Engels G, Ehrich H-D. <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science; 1981.","bibtex":"@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }"},"report_number":"118","date_created":"2019-03-03T16:12:38Z","department":[{"_id":"66"}],"type":"report"}]