Preview
Unable to display preview. Download preview PDF.
References
Goguen,J.A., Thatcher,J.W., Wagner,E.G., Wright,J.B.: Abstract Data Types as Initial Algebras and the Correctness of Data Representations, in Proc. Confr. on Computer Graphics, Pattern Recognition, and Data Structure (Beverly Hills, CA.) 1975, pp. 89–93
Benecke,K.: Signaturketten und Operations-und Mengenformen über Signaturketten, Dissertation A, TH ‘Otto von Guericke’ Magdeburg, 1979
Burstall,R.M., Goguen,J.A.: Putting theories together to make specifications, Proc. Fifth Int. Joint Comp. On Artificial Intelligence, MIT (Cambridge,Mass)
Ehrich,H.-D.: On the Theory of Specification, Implementation and Parameterization of Abstract Data Types, Forschungsbericht Dortmund, 1978
Ehrig,H., Kreowski,H.-J., Padawitz,P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5. Int. Colloq. on Automata, Languages and Programming, Udine, 1978
Ford, L.R., Fulkerson, D.R.: Maximal flow through a network, Canadian J. of Math., 8 (1956), pp. 399
Goguen,J.A., Tardo,J.: OBJ-O Preliminary Users Manual, UCLA, Semantics and Theory of Computation Report, No. 10, 1977
Goguen, J.A., Tardo, J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications, UCLA, Los Angeles, 1979
Hupbach, U., Kaphengst, H., Reichel, H.: Initiale algebraische Spezifikation von Datentypen, parameterisierten Datentypen und Algorithmen, VEB Robotron, Zentrum für Forschung und Technik, Dresden, WIB, 1980
Hupbach,U.: A Uniform Mathematical Framwork for Initial Algebraic Specifications, VEB Robotron, Zentrum für Forschung und Technik, Dresden, Preprint, 1979
Kaphengst,H., Reichel,H.: Algebraische Algorithmentheorie, VEB Robotron, Zentrum für Forschung und Technik,Dresden, WIB Nr.1, 1971
Kaphengst, H., Reichel, H.: Operative Theorien und Kategorien von operativen Systemen, in Studien zur Algebra und ihren Anwendungen, Akademie Verlag, Berlin, 1972
Lawvere, F.W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A.,50,1963, pp. 869–872
Musser, D.R.: Abstract Data Types in the AFFIRM System, Proc. IEEE Conf. on Specification of Reliable Software, Cambridge, Mass., April 1979
Reichel, H.: Theorie der Äquoide, Dissertation B, Humboldt Universität, Berlin, 1979
Thatcher, J.W., Wagner,E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Symp. on Theory of Computing, San Diego, May 1978
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reichel, H. (1980). Initially — Restricting algebraic theories. In: Dembiński, P. (eds) Mathematical Foundations of Computer Science 1980. MFCS 1980. Lecture Notes in Computer Science, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022528
Download citation
DOI: https://doi.org/10.1007/BFb0022528
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10027-0
Online ISBN: 978-3-540-38194-5
eBook Packages: Springer Book Archive