{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:04Z","timestamp":1725662884799},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108542"},{"type":"electronic","value":"9783540387657"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10854-8_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:30:21Z","timestamp":1330191021000},"page":"16-23","source":"Crossref","is-referenced-by-count":3,"title":["Some universal algebraic and model theoretic results in computer science"],"prefix":"10.1007","author":[{"given":"H.","family":"Andr\u00e9ka","sequence":"first","affiliation":[]},{"given":"I.","family":"N\u00e9meti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"key":"2_CR1","unstructured":"Andr\u00e9ka,H. Burmeister,P. N\u00e9meti,I., Quasivarieties of Partial Algebras \u2014 A unifying approach towards a two-valued model theory for partial algebras. Preprint Nr.557, Technische Hochschule Darmstadt, Fachbereich Mathematics. July 1980."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02121113","volume":"36","author":"H. Andr\u00e9ka","year":"1977","unstructured":"Andr\u00e9ka, H. Gergely, T. N\u00e9meti, I., On universal algebraic construction of logics. Studia Logica 36, 1977, Nr.1\u20132, pp.9\u201347.","journal-title":"Studia Logica"},{"key":"2_CR3","unstructured":"Andr\u00e9ka,H. Gergely,T. N\u00e9meti,I. Sain,I., Theory morphisms, stepwise refinement of program specifications, representation of knowladge, and cylindric algebras. Preprint, June 1980."},{"key":"2_CR4","unstructured":"Andr\u00e9ka,H. Gergely,T. N\u00e9meti,I., Investigations in Language Hierarchies. Preprint, Research Inst. for Applied Comp. Sci. 1980."},{"key":"2_CR5","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I., Applications of universal algebra, model theory, and categories in computer science. Survey and bibliography, parts I\u2013III. Part I in CL&CL \u2014 Comput. Ling. Comput. Lang. Vol.XIII (1979), Part II in CL&CL \u2014 Comput. Ling. Comput. Lang. Vol.XIV (1980), Part III as Preprint Math.Inst.Hung.Acad.Sci. 1980."},{"key":"2_CR6","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I., Generalization of variety and quasivariety concept to partial algebras through category theory. Preprint Math.Inst.Hung.Acad.Sci. No.1976\/5. Dissertationes Mathematicae (Rozprawy) No.204. In press."},{"key":"2_CR7","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I., Every free algebra in the variety generated by the representable dynamic algebras is separable and representable. Theoretical Computer Science, to appear."},{"key":"2_CR8","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I. Sain,I., Representable dynamic algebras are not first order axiomatizable and other considerations on the representation theory of dynamic algebras. Preprint, 1980."},{"key":"2_CR9","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I. Sain,I., Henkin type model theory for first order dynamic logic. Preprint, 1980."},{"key":"2_CR10","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I. Sain,I., Relativization of dynamic algebras a tool for decomposition of dynamic theories. Preprint, 1980."},{"key":"2_CR11","unstructured":"Bergstra,J.A. Tiuryn,J. Tucker,J.V., Correctness theories and program equivalence. Mathematisch Centrum Preprint IW 119\/79, Amsterdam 1979."},{"key":"2_CR12","unstructured":"Bertoni,A. Mauri,G. Miglioli,P.A. Wirsing,M., On different approaches to abstract data types and the existence of recursive models. Bulletin of the European Association for Theoretical Computer Science EATCS 9, pp.47\u201357."},{"key":"2_CR13","unstructured":"Broy,M. Wirsing,M., Algebraic definition of a functional programming language and its semantic models. Preprint Technische Universit\u00e4t M\u00fcnchen TUM-I8008, June 1980."},{"key":"2_CR14","unstructured":"Burmeister,P., Partial algebras \u2014 Survey of a unifying approach towards a two-valued model theory for partial algebras. Preprint 1980."},{"key":"2_CR15","unstructured":"Burstall,R. Darlington,J., A system which automatically improves programs. Proc. 3rd IJCAI, S.R.I. 1973, pp.537\u2013542."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Burstall,R. Goguen,J.A., The semantics of CLEAR, a specification language. Abstract Software Specifications (1979 Copenhagen Winter School Proceedings) Ed.: D.Bj\u00f8rner. Lecture Notes in Computer Science Vol.86, Springer Verlag Berlin, pp.292\u2013333.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1016\/0022-0000(78)90016-8","volume":"17","author":"B. Courcelle","year":"1978","unstructured":"Courcelle, B. Guessarian, I., On some classes of interpretations. J. of Computer and System Sciences 17, 1978, pp.388\u2013413.","journal-title":"J. of Computer and System Sciences"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Csirmaz,L., Programs and program verifications in a general setting. Theoretical Computer Science, to appear.","DOI":"10.1016\/0304-3975(81)90076-1"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"D\u00f6m\u00f6lki,B., An example of hierarchical program specification. Abstract Software Specifications (1979 Copenhagen Winter School Proceedings) Ed.: D.Bj\u00f8rner. Lecture Notes in Computer Science Vol.86, Springer Verlag Berlin, pp.333\u2013353.","DOI":"10.1007\/3-540-10007-5_42"},{"key":"2_CR20","unstructured":"Gergely,T., Algebraic Representation of Language Hierarchies. Preprint, Research Inst. for Applied Comp. Sci. 1981. Acta Cybernetica, to appear."},{"key":"2_CR21","unstructured":"Gergely,T. \u00dary,L., Program behaviour specification through explicit time consideration. Information Processing 80. Ed.: S.H. Lavington. North Holland Publ. Co. IFIP, 1980, pp.107\u2013111."},{"key":"2_CR22","unstructured":"Goguen,J.A., Some ideas in algebraic semantics. Proceedings, 3rd IBM Symposium on Math.Foundations of Comp. Sci. (Kobe Japan)."},{"key":"2_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G., Universal algebra. (Second Edition) Springer Verlag, New York, 1979.","edition":"Second Edition"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Hupbach,U.L., Abstract implementation of abstract data type. MFCS'80 Proceedings of the 8th Symp. on Mathematical Foundations of Computer Science (Rydzina-Zamek, Poland 1980). Lecture Notes in Computer Science, Springer Verlag, 1980.","DOI":"10.1007\/BFb0022512"},{"key":"2_CR25","unstructured":"Hupbach,U.L., A uniform mathematical framework for initial algebraic specifications. Preprint VEB ROBOTRON Zentrum f\u00fcr Forschung und Technik, 1979."},{"volume-title":"A representation theorem for models of *-free PDL. Report RC7864","year":"1979","author":"D. Kozen","key":"2_CR26","unstructured":"Kozen, D., A representation theorem for models of *-free PDL. Report RC7864, IBM Research, Yorktown Heights, New York, 1979."},{"key":"2_CR27","unstructured":"Lehmann,D. Pasztor,A., On a conjecture of Meseguer. Theoretical Computer Science, to appear."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Mal'cev,A.I., Algebraic systems. Springer Verlag Berlin, 1973.","DOI":"10.1007\/978-3-642-65374-2"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Nelson,E., Z-continuous algebras. Preprint McMaster University, 1980.","DOI":"10.1007\/BFb0089915"},{"key":"2_CR30","unstructured":"N\u00e9meti,I., Some constructions of cylindric algebra theory applied to dynamic algebras of programs. CL&CL \u2014 Comput. Ling. Comput. Lang. Vol.XIV, to appear."},{"key":"2_CR31","unstructured":"N\u00e9meti,I., Nonstandard runs of Floyd-provable programs. Submitted to Proc. Conf. Algorithmic Logic 1980 (Poznan)."},{"key":"2_CR32","unstructured":"N\u00e9meti,I., Connections between cylindric algebras and initial algebra semantics of CF languages. Mathematical Logic in Computer Science (Proc.Coll. Salg\u00f3tarj\u00e1n 1978) Colloq.Math.Soc.J.Bolyai Vol.26, North-Holland. Eds.: B.D\u00f6m\u00f6lki, T.Gergely. pp.561\u2013606."},{"key":"2_CR33","unstructured":"Pasztor,A., Characterization of epis of continuous algebras. Proc.Coll. Categorical and algebraic methods in computer science and system theory (3rd Workshop) Dortmund, 1980."},{"key":"2_CR34","series-title":"Hochschul Sammlung Naturwissenschaften Mathematik Band","volume-title":"Faktorisierungssysteme in der Kategorie der partiellen Algebren \u2014 Kennzeichnung von (Homo-)Morphismenklassen","author":"A. Pasztor","year":"1979","unstructured":"Pasztor, A., Faktorisierungssysteme in der Kategorie der partiellen Algebren \u2014 Kennzeichnung von (Homo-)Morphismenklassen. Hochschul Sammlung Naturwissenschaften Mathematik Band 1, Hochschul Verlag, Freiburg, 1979."},{"key":"2_CR35","unstructured":"Pratt,V.R., Dynamic algebras: examples, constructions, applications. Report MIT\/LCS\/TM-138. July 1979."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Reichel,H., Initially restricting algebraic theories. MFCS'80. Proc. 8th Symp. on Mathematical Foundations of Computer Science (Rydzina-Zamek, Poland), Lecture Notes in Computer Science, Springer Verlag 1980.","DOI":"10.1007\/BFb0022528"},{"key":"2_CR37","unstructured":"Sain,I., Ultraproducts in theoretical computer science. Seminar notes SZKI 1980, and Lecture notes of NJSZT summer school Si\u00f3fok 1980."},{"key":"2_CR38","first-page":"195","volume":"XIII","author":"I. Sain","year":"1979","unstructured":"Sain, I., There are general rules for specifying semantics: Observations on abstract model theory. CL&CL \u2014 Comput. Ling. Comput. Lang. Vol.XIII, 1979, pp.195\u2013250.","journal-title":"CL&CL \u2014 Comput. Ling. Comput. Lang."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Wirsing,M. Broy,M., Abstract data types as lattices of finitely generated models. MFCS'80, Proc. 8th Symp. on Mathematical Foundations of Computer Science (Rydzina-Zamek, Poland). Lecture Notes in Computer Science, Springer Verlag, 1980.","DOI":"10.1007\/BFb0022542"},{"key":"2_CR40","unstructured":"Wirsing,M. Pepper,P. Partsch,H. Dosch,W. Broy,M., On hierarchies of abstract data types. Preprint Technische Universit\u00e4t M\u00fcnchen TUM-I8007, May 1980."},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Zilles,S.N., Introduction to data algebras. Abstract Software Specifications (1979 Copenhagen Winter School Proceedings), Ed.: D.Bj\u00f8rner. Lecture Notes in Computer Science Vol.86, Springer Verlag Berlin, pp.248\u2013273.","DOI":"10.1007\/3-540-10007-5_39"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10854-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:38:06Z","timestamp":1687282686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10854-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108542","9783540387657"],"references-count":41,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-10854-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}
