{"user_id":"52534","date_created":"2019-03-03T16:12:38Z","type":"report","author":[{"last_name":"Pletat","full_name":"Pletat, Udo","first_name":"Udo"},{"first_name":"Gregor","id":"107","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Ehrich, Hans-Dietrich","last_name":"Ehrich","first_name":"Hans-Dietrich"}],"title":"Operational Semantics of Algebraic Specifications with Conditional Equations","department":[{"_id":"66"}],"_id":"8185","report_number":"118","status":"public","language":[{"iso":"eng"}],"year":"1981","citation":{"short":"U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, 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.","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.","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.","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} }","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.","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."},"publisher":"University of Dortmund, Department of Computer Science","date_updated":"2022-01-06T07:03:51Z"}