Mörbitz, Richard; Vogler, Heiko Weighted parsing for grammar-based language models over multioperator monoids. (English) Zbl 07433305 Inf. Comput. 281, Article ID 104774, 48 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Mörbitz} and \textit{H. Vogler}, Inf. Comput. 281, Article ID 104774, 48 p. (2021; Zbl 07433305) Full Text: DOI arXiv OpenURL
Kroupa, Tomáš; Marra, Vincenzo The two-sorted algebraic theory of states, and the universal states of MV-algebras. (English) Zbl 07371438 J. Pure Appl. Algebra 225, No. 12, Article ID 106771, 21 p. (2021). MSC: 06D35 06F20 03C05 PDF BibTeX XML Cite \textit{T. Kroupa} and \textit{V. Marra}, J. Pure Appl. Algebra 225, No. 12, Article ID 106771, 21 p. (2021; Zbl 07371438) Full Text: DOI arXiv OpenURL
Conradie, Willem; Palmigiano, Alessandra; Robinson, Claudette; Tzimoulis, Apostolos; Wijnberg, Nachoem Modelling socio-political competition. (English) Zbl 1464.03037 Fuzzy Sets Syst. 407, 115-141 (2021). MSC: 03B80 03B45 03B50 PDF BibTeX XML Cite \textit{W. Conradie} et al., Fuzzy Sets Syst. 407, 115--141 (2021; Zbl 1464.03037) Full Text: DOI arXiv OpenURL
Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra Semi De Morgan logic properly displayed. (English) Zbl 07339949 Stud. Log. 109, No. 1, 1-45 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Greco} et al., Stud. Log. 109, No. 1, 1--45 (2021; Zbl 07339949) Full Text: DOI arXiv OpenURL
Khvorostukhina, E. V.; Molchanov, V. A. Abstract characterization of input symbol semigroups of universal hypergraphic automata. (English) Zbl 1446.68101 Lobachevskii J. Math. 41, No. 2, 214-226 (2020). MSC: 68Q70 18B20 20M35 PDF BibTeX XML Cite \textit{E. V. Khvorostukhina} and \textit{V. A. Molchanov}, Lobachevskii J. Math. 41, No. 2, 214--226 (2020; Zbl 1446.68101) Full Text: DOI OpenURL
Di Nola, Antonio; Grigolia, Revaz; Vitale, Gaetano Dynamic Łukasiewicz logic and dynamic MV-algebras. (English) Zbl 1477.03073 Int. J. Approx. Reasoning 124, 103-110 (2020). MSC: 03B50 06D35 PDF BibTeX XML Cite \textit{A. Di Nola} et al., Int. J. Approx. Reasoning 124, 103--110 (2020; Zbl 1477.03073) Full Text: DOI OpenURL
Buro, Samuele; Mastroeni, Isabella On the semantic equivalence of language syntax formalisms. (English) Zbl 1461.18001 Theor. Comput. Sci. 840, 234-248 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A40 68Q45 68Q42 PDF BibTeX XML Cite \textit{S. Buro} and \textit{I. Mastroeni}, Theor. Comput. Sci. 840, 234--248 (2020; Zbl 1461.18001) Full Text: DOI OpenURL
Chumpungam, Dawan; Leeratanavalee, Sorasak Generalized hypersubstitutions of many-sorted algebras. (English) Zbl 1469.08001 Thai J. Math. 17, No. 2, 463-473 (2019). MSC: 08A70 08A40 08A05 PDF BibTeX XML Cite \textit{D. Chumpungam} and \textit{S. Leeratanavalee}, Thai J. Math. 17, No. 2, 463--473 (2019; Zbl 1469.08001) Full Text: Link OpenURL
Teoh, Zu Yao; Teh, Wen Chean A Ramsey algebraic study of matrices. (English) Zbl 1445.05067 Algebra Discrete Math. 27, No. 1, 85-98 (2019). MSC: 05C55 05D10 PDF BibTeX XML Cite \textit{Z. Y. Teoh} and \textit{W. C. Teh}, Algebra Discrete Math. 27, No. 1, 85--98 (2019; Zbl 1445.05067) Full Text: arXiv Link OpenURL
Greco, Giuseppe; Liang, Fei; Manoorkar, Krishna; Palmigiano, Alessandra Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019). MSC: 03G25 06E75 03F05 03E72 PDF BibTeX XML Cite \textit{G. Greco} et al., Electron. Notes Theor. Comput. Sci. 344, 101--118 (2019; Zbl 1434.03147) Full Text: DOI arXiv OpenURL
Gunther, Emmanuel; Gadea, Alejandro; Pagano, Miguel Formalization of universal algebra in Agda. (English) Zbl 1433.68578 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 147-166 (2018). MSC: 68V20 03C05 68V15 PDF BibTeX XML Cite \textit{E. Gunther} et al., Electron. Notes Theor. Comput. Sci. 338, 147--166 (2018; Zbl 1433.68578) Full Text: DOI OpenURL
Movsisyan, Yu. M. Hyperidentities and related concepts. II. (English) Zbl 1404.08002 Armen. J. Math. 10, Paper No. 4, 85 p. (2018). MSC: 08A02 08A05 08A40 08A62 06D30 06E05 20M07 20N05 PDF BibTeX XML Cite \textit{Yu. M. Movsisyan}, Armen. J. Math. 10, Paper No. 4, 85 p. (2018; Zbl 1404.08002) OpenURL
Lehtonen, Erkko; Pöschel, Reinhard; Waldhauser, Tamás Reflection-closed varieties of multisorted algebras and minor identities. (English) Zbl 1412.08003 Algebra Univers. 79, No. 3, Paper No. 70, 22 p. (2018). Reviewer: Manfred Armbrust (Köln) MSC: 08A68 08B15 03C05 PDF BibTeX XML Cite \textit{E. Lehtonen} et al., Algebra Univers. 79, No. 3, Paper No. 70, 22 p. (2018; Zbl 1412.08003) Full Text: DOI Link OpenURL
Lucas, Salvador; Gutiérrez, Raúl Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095 J. Autom. Reasoning 60, No. 4, 465-501 (2018). MSC: 68N30 03B70 PDF BibTeX XML Cite \textit{S. Lucas} and \textit{R. Gutiérrez}, J. Autom. Reasoning 60, No. 4, 465--501 (2018; Zbl 1398.68095) Full Text: DOI Link OpenURL
Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem The logic of resources and capabilities. (English) Zbl 06914167 Rev. Symb. Log. 11, No. 2, 371-410 (2018). MSC: 03B42 03B20 03B60 03B45 03F03 03G10 03A99 PDF BibTeX XML Cite \textit{M. Bílková} et al., Rev. Symb. Log. 11, No. 2, 371--410 (2018; Zbl 06914167) Full Text: DOI arXiv OpenURL
Poinsot, Laurent The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope. (English) Zbl 1434.17017 Commun. Algebra 46, No. 4, 1641-1667 (2018). MSC: 17B35 13N15 17B66 17B01 PDF BibTeX XML Cite \textit{L. Poinsot}, Commun. Algebra 46, No. 4, 1641--1667 (2018; Zbl 1434.17017) Full Text: DOI OpenURL
Teoh, Zu Yao; Teh, Wen Chean Heterogeneous Ramsey algebras and classification of Ramsey vector spaces. (English) Zbl 1459.03072 Bull. Malays. Math. Sci. Soc. (2) 41, No. 2, 1011-1028 (2018). MSC: 03E05 05D10 PDF BibTeX XML Cite \textit{Z. Y. Teoh} and \textit{W. C. Teh}, Bull. Malays. Math. Sci. Soc. (2) 41, No. 2, 1011--1028 (2018; Zbl 1459.03072) Full Text: DOI arXiv OpenURL
Allwein, Gerard; Harrison, William L.; Reynolds, Thomas Distributed relation logic. (English) Zbl 1417.03223 Log. Log. Philos. 26, No. 1, 19-61 (2017). MSC: 03B70 03B15 03G15 68Q85 PDF BibTeX XML Cite \textit{G. Allwein} et al., Log. Log. Philos. 26, No. 1, 19--61 (2017; Zbl 1417.03223) Full Text: DOI OpenURL
Movsisyan, Yu. M. Hyperidentities and related concepts. I. (English) Zbl 1404.08001 Armen. J. Math. 9, No. 2, 146-222 (2017). MSC: 08A02 08A05 08A40 08A62 06D30 06E05 20M07 20N05 PDF BibTeX XML Cite \textit{Yu. M. Movsisyan}, Armen. J. Math. 9, No. 2, 146--222 (2017; Zbl 1404.08001) OpenURL
Kroupa, Tomáš; Marra, Vincenzo Generalised states: a multi-sorted algebraic approach to probability. (English) Zbl 1397.06012 Soft Comput. 21, No. 1, 57-67 (2017). MSC: 06D35 06F20 PDF BibTeX XML Cite \textit{T. Kroupa} and \textit{V. Marra}, Soft Comput. 21, No. 1, 57--67 (2017; Zbl 1397.06012) Full Text: DOI Link OpenURL
Allwein, Gerard; Harrison, William L. Distributed modal logic. (English) Zbl 1439.03043 Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 331-362 (2016). MSC: 03B45 03B70 PDF BibTeX XML Cite \textit{G. Allwein} and \textit{W. L. Harrison}, Outst. Contrib. Log. 8, 331--362 (2016; Zbl 1439.03043) Full Text: DOI OpenURL
Teh, Wen Chean Ramsey algebras and the existence of idempotent ultrafilters. (English) Zbl 1366.03219 Arch. Math. Logic 55, No. 3-4, 475-491 (2016). Reviewer: Xianghui Shi (Beijing) MSC: 03E05 05A17 05D10 PDF BibTeX XML Cite \textit{W. C. Teh}, Arch. Math. Logic 55, No. 3--4, 475--491 (2016; Zbl 1366.03219) Full Text: DOI arXiv OpenURL
Höhle, Ulrich Fuzzy sets as two-sorted algebras. (English) Zbl 1368.03056 Fuzzy Sets Syst. 281, 155-167 (2015). MSC: 03E72 06F05 08A72 18C15 PDF BibTeX XML Cite \textit{U. Höhle}, Fuzzy Sets Syst. 281, 155--167 (2015; Zbl 1368.03056) Full Text: DOI OpenURL
Mućka, Anna; Romanowska, Anna B.; Smith, Jonathan D. H. Many-sorted and single-sorted algebras. (English) Zbl 1283.08008 Algebra Univers. 69, No. 2, 171-190 (2013). Reviewer: Ivan Chajda (Přerov) MSC: 08A68 08B99 PDF BibTeX XML Cite \textit{A. Mućka} et al., Algebra Univers. 69, No. 2, 171--190 (2013; Zbl 1283.08008) Full Text: DOI OpenURL
Trnková, Věra Clones of topological spaces. (English) Zbl 1257.54019 Topology Appl. 159, No. 13, 3122-3129 (2012). MSC: 54B30 54C05 08C05 18B30 PDF BibTeX XML Cite \textit{V. Trnková}, Topology Appl. 159, No. 13, 3122--3129 (2012; Zbl 1257.54019) Full Text: DOI OpenURL
Movsisyan, Yu. M. Bilattices and hyperidentities. (English. Russian original) Zbl 1294.06007 Proc. Steklov Inst. Math. 274, 174-192 (2011); translation from Tr. Mat. Inst. Steklova 274, 191-209 (2011). MSC: 06B20 06B75 08B05 PDF BibTeX XML Cite \textit{Yu. M. Movsisyan}, Proc. Steklov Inst. Math. 274, 174--192 (2011; Zbl 1294.06007); translation from Tr. Mat. Inst. Steklova 274, 191--209 (2011) Full Text: DOI OpenURL
de A. Araújo, Ricardo Swarm-based translation-invariant morphological prediction method for financial time series forecasting. (English) Zbl 1237.91241 Inf. Sci. 180, No. 24, 4784-4805 (2010). MSC: 91G70 62M10 62M20 90C59 PDF BibTeX XML Cite \textit{R. de A. Araújo}, Inf. Sci. 180, No. 24, 4784--4805 (2010; Zbl 1237.91241) Full Text: DOI OpenURL
Climent Vidal, J.; Soliveres Tur, J. A 2-categorial generalization of the concept of institution. (English) Zbl 1220.03053 Stud. Log. 95, No. 3, 301-344 (2010). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 18C15 18D05 PDF BibTeX XML Cite \textit{J. Climent Vidal} and \textit{J. Soliveres Tur}, Stud. Log. 95, No. 3, 301--344 (2010; Zbl 1220.03053) Full Text: DOI OpenURL
Smith, Jonathan D. H. Quasigroup homotopies, semisymmetrization, and reversible automata. (English) Zbl 1169.20033 Int. J. Algebra Comput. 18, No. 7, 1203-1221 (2008). Reviewer: C. Pereira da Silva (Curitiba) MSC: 20N05 68Q70 08C05 53A60 PDF BibTeX XML Cite \textit{J. D. H. Smith}, Int. J. Algebra Comput. 18, No. 7, 1203--1221 (2008; Zbl 1169.20033) Full Text: DOI OpenURL
Paseka, Jan Projective sup-algebras: a general view. (English) Zbl 1135.54005 Topology Appl. 155, No. 4, 308-317 (2008). Reviewer: Hans Peter Künzi (Rondebosch) MSC: 54B30 18B35 06D22 06F07 PDF BibTeX XML Cite \textit{J. Paseka}, Topology Appl. 155, No. 4, 308--317 (2008; Zbl 1135.54005) Full Text: DOI OpenURL
Sichler, J.; Trnková, V. Maps between a space and its square. (English) Zbl 1068.54009 Topology Appl. 142, No. 1-3, 159-179 (2004). Reviewer: Maximilian Ganster (Graz) MSC: 54B10 54C05 54E40 PDF BibTeX XML Cite \textit{J. Sichler} and \textit{V. Trnková}, Topology Appl. 142, No. 1--3, 159--179 (2004; Zbl 1068.54009) Full Text: DOI OpenURL
Novotný, Miroslav Homomorphisms of heterogeneous algebras. (English) Zbl 1016.08005 Czech. Math. J. 52, No. 2, 415-428 (2002). MSC: 08A68 08A02 08C05 PDF BibTeX XML Cite \textit{M. Novotný}, Czech. Math. J. 52, No. 2, 415--428 (2002; Zbl 1016.08005) Full Text: DOI EuDML OpenURL
Plotkin, B. Algebra, categories and databases. (English) Zbl 0967.03058 Hazewinkel, M. (ed.), Handbook of algebra. Volume 2. Amsterdam: North-Holland. 79-148 (2000). MSC: 03G15 68P15 08A70 03C05 03G30 18C10 18C15 03C98 PDF BibTeX XML Cite \textit{B. Plotkin}, in: Handbook of algebra. Volume 2. Amsterdam: North-Holland. 79--148 (2000; Zbl 0967.03058) OpenURL
Lawrence, John; Willard, Ross On finitely based groups and nonfinitely based quasivarieties. (English) Zbl 0909.20017 J. Algebra 203, No. 1, 1-11 (1998). Reviewer: S.Oates-Williams (St.Lucia) MSC: 20E10 08C15 PDF BibTeX XML Cite \textit{J. Lawrence} and \textit{R. Willard}, J. Algebra 203, No. 1, 1--11 (1998; Zbl 0909.20017) Full Text: DOI Link OpenURL
Rus, Teodor Algebraic processing of programming languages. (English) Zbl 0902.68032 Theor. Comput. Sci. 199, No. 1-2, 105-143 (1998). MSC: 68N20 68N15 PDF BibTeX XML Cite \textit{T. Rus}, Theor. Comput. Sci. 199, No. 1--2, 105--143 (1998; Zbl 0902.68032) Full Text: DOI OpenURL
Lambek, J. Relations in operational categories. (English) Zbl 0870.18004 J. Pure Appl. Algebra 116, No. 1-3, 221-248 (1997). Reviewer: H.-P.Yu (Emory) MSC: 18B10 PDF BibTeX XML Cite \textit{J. Lambek}, J. Pure Appl. Algebra 116, No. 1--3, 221--248 (1997; Zbl 0870.18004) Full Text: DOI OpenURL
Sichler, J.; Trnková, V. On elementary equivalence and isomorphism of clone segments. (English) Zbl 0859.54006 Period. Math. Hung. 32, No. 1-2, 113-128 (1996). Reviewer: M.Demlová (Praha) MSC: 54C05 08A40 54E35 PDF BibTeX XML Cite \textit{J. Sichler} and \textit{V. Trnková}, Period. Math. Hung. 32, No. 1--2, 113--128 (1996; Zbl 0859.54006) Full Text: DOI OpenURL
Lickteig, Thomas Semi-algebraic decision complexity, the real spectrum, and degree. (English) Zbl 0853.68091 J. Pure Appl. Algebra 110, No. 2, 131-184 (1996). MSC: 68Q05 68Q25 68W30 14P10 PDF BibTeX XML Cite \textit{T. Lickteig}, J. Pure Appl. Algebra 110, No. 2, 131--184 (1996; Zbl 0853.68091) Full Text: DOI OpenURL
Denecke, K.; Głazek, K. \(M\)-solid varieties and \(Q\)-free clones. (English) Zbl 0893.08002 Math. Slovaca 46, No. 5, 515-524 (1996). MSC: 08B20 08A40 PDF BibTeX XML Cite \textit{K. Denecke} and \textit{K. Głazek}, Math. Slovaca 46, No. 5, 515--524 (1996; Zbl 0893.08002) Full Text: EuDML OpenURL
Chvalina, J.; Chvalinová, L. State hypergroups of automata. (English) Zbl 0870.20053 Acta Math. Inform. Univ. Ostrav. 4, No. 1, 105-119 (1996). MSC: 20N20 68Q70 PDF BibTeX XML Cite \textit{J. Chvalina} and \textit{L. Chvalinová}, Acta Math. Inform. Univ. Ostrav. 4, No. 1, 105--119 (1996; Zbl 0870.20053) Full Text: EuDML OpenURL
Bhattacharya, Prabir; Qian, Kai; Lu, Xun An algebraic approach for morphological operations on 2D and 3D images. (English) Zbl 0814.68140 Pattern Recognition 26, No. 12, 1785-1796 (1993). MSC: 68U10 65T50 PDF BibTeX XML Cite \textit{P. Bhattacharya} et al., Pattern Recognition 26, No. 12, 1785--1796 (1993; Zbl 0814.68140) Full Text: DOI OpenURL
Humberstone, I. L. Zero-place operations and functional completeness, and the definition of new connectives. (English) Zbl 0788.03036 Hist. Philos. Log. 14, No. 1, 39-66 (1993). MSC: 03C05 03-03 01A65 03A05 PDF BibTeX XML Cite \textit{I. L. Humberstone}, Hist. Philos. Log. 14, No. 1, 39--66 (1993; Zbl 0788.03036) Full Text: DOI OpenURL
Davidson, Jennifer L.; Hummer, Frank Morphology neural networks: An introduction with applications. (English) Zbl 0783.68136 Circuits Syst. Signal Process. 12, No. 2, 177-210 (1993). MSC: 68U10 92B20 PDF BibTeX XML Cite \textit{J. L. Davidson} and \textit{F. Hummer}, Circuits Syst. Signal Process. 12, No. 2, 177--210 (1993; Zbl 0783.68136) Full Text: DOI OpenURL
Zhang, Ming-Hua Data types with errors and exceptions. (English) Zbl 0768.68095 Theor. Comput. Sci. 105, No. 2, 275-299 (1992). MSC: 68Q65 PDF BibTeX XML Cite \textit{M.-H. Zhang}, Theor. Comput. Sci. 105, No. 2, 275--299 (1992; Zbl 0768.68095) Full Text: DOI OpenURL
Manca, Vincenzo; Salibra, Antonino Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets. (English) Zbl 0749.08005 Theor. Comput. Sci. 94, No. 1, 101-124 (1992). Reviewer: S.Bloom (Hoboken) MSC: 08A70 08B05 68Q55 68Q60 68Q65 PDF BibTeX XML Cite \textit{V. Manca} and \textit{A. Salibra}, Theor. Comput. Sci. 94, No. 1, 101--124 (1992; Zbl 0749.08005) Full Text: DOI OpenURL
Pratt, Vaughan Dynamic algebras: Examples, constructions, applications. (English) Zbl 0752.03033 Stud. Log. 50, No. 3-4, 571-605 (1991). Reviewer: Hirokazu Nishimura (Ibaraki) MSC: 03G05 03B70 03B45 06E25 PDF BibTeX XML Cite \textit{V. Pratt}, Stud. Log. 50, No. 3--4, 571--605 (1991; Zbl 0752.03033) Full Text: DOI OpenURL
Manca, V.; Salibra, A.; Scollo, G. Equational type logic. (English) Zbl 0716.03022 Theor. Comput. Sci. 77, No. 1-2, 131-159 (1990). MSC: 03C05 68Q65 08B05 68Q42 PDF BibTeX XML Cite \textit{V. Manca} et al., Theor. Comput. Sci. 77, No. 1--2, 131--159 (1990; Zbl 0716.03022) Full Text: DOI Link OpenURL
Pigozzi, Don Finite basis theorems for relatively congruence-distributive quasivarieties. (English) Zbl 0706.08009 Trans. Am. Math. Soc. 310, No. 2, 499-533 (1988). MSC: 08C15 03C05 68Q65 08B05 PDF BibTeX XML Cite \textit{D. Pigozzi}, Trans. Am. Math. Soc. 310, No. 2, 499--533 (1988; Zbl 0706.08009) Full Text: DOI OpenURL
Lisper, Björn Synthesis and equivalence of concurrent systems. (English) Zbl 0648.68039 Theor. Comput. Sci. 58, No. 1-3, 183-199 (1988). MSC: 68N25 68N99 PDF BibTeX XML Cite \textit{B. Lisper}, Theor. Comput. Sci. 58, No. 1--3, 183--199 (1988; Zbl 0648.68039) Full Text: DOI OpenURL
Broy, Manfred Equational specification of partial higher-order algebras. (English) Zbl 0644.68031 Theor. Comput. Sci. 57, No. 1, 3-45 (1988). MSC: 68P05 68Q65 03C05 68Q60 PDF BibTeX XML Cite \textit{M. Broy}, Theor. Comput. Sci. 57, No. 1, 3--45 (1988; Zbl 0644.68031) Full Text: DOI OpenURL
Zhang, Minghua A second order theory of data types. (English) Zbl 0627.68032 Acta Inf. 25, No. 3, 283-303 (1988). MSC: 68Q65 68P05 03F35 PDF BibTeX XML Cite \textit{M. Zhang}, Acta Inf. 25, No. 3, 283--303 (1988; Zbl 0627.68032) Full Text: DOI OpenURL
Cartmell, John Generalized algebraic theories and contextual categories. (English) Zbl 0634.18003 Ann. Pure Appl. Logic 32, 209-243 (1986). Reviewer: A.Kock MSC: 18C10 03G30 PDF BibTeX XML Cite \textit{J. Cartmell}, Ann. Pure Appl. Logic 32, 209--243 (1986; Zbl 0634.18003) Full Text: DOI OpenURL
Berzins, Valdis On merging software extensions. (English) Zbl 0602.68016 Acta Inf. 23, 607-619 (1986). MSC: 68Q60 PDF BibTeX XML Cite \textit{V. Berzins}, Acta Inf. 23, 607--619 (1986; Zbl 0602.68016) Full Text: DOI OpenURL
Wirsing, Martin Structured algebraic specifications: A kernel language. (English) Zbl 0599.68021 Theor. Comput. Sci. 42, 123-249 (1986). MSC: 68P05 PDF BibTeX XML Cite \textit{M. Wirsing}, Theor. Comput. Sci. 42, 123--249 (1986; Zbl 0599.68021) Full Text: DOI OpenURL
Higgins, Aparna W. A representation theorem for weak automorphisms of a universal algebra. (English) Zbl 0568.08004 Algebra Univers. 20, 179-193 (1985). Reviewer: R.Franci MSC: 08A35 20F29 PDF BibTeX XML Cite \textit{A. W. Higgins}, Algebra Univers. 20, 179--193 (1985; Zbl 0568.08004) Full Text: DOI OpenURL
Krapež, A.; Taylor, M. A. On the Pexider equation. (English) Zbl 0564.39004 Aequationes Math. 28, 170-189 (1985). Reviewer: B.Choczewski MSC: 39B52 20L05 20M15 PDF BibTeX XML Cite \textit{A. Krapež} and \textit{M. A. Taylor}, Aequationes Math. 28, 170--189 (1985; Zbl 0564.39004) Full Text: DOI EuDML OpenURL
Zlatoš, P. On conceptual completeness of syntactic-semantical systems. (English) Zbl 0547.03047 Period. Math. Hung. 16, 145-173 (1985). MSC: 03G30 03C95 18C10 18D05 03G15 08B05 16D90 PDF BibTeX XML Cite \textit{P. Zlatoš}, Period. Math. Hung. 16, 145--173 (1985; Zbl 0547.03047) Full Text: DOI OpenURL
Goguen, J. A.; Burstall, R. M. Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. (English) Zbl 0566.68066 Theor. Comput. Sci. 31, 263-295 (1984). Reviewer: H.Ehrig MSC: 68Q55 18C10 PDF BibTeX XML Cite \textit{J. A. Goguen} and \textit{R. M. Burstall}, Theor. Comput. Sci. 31, 263--295 (1984; Zbl 0566.68066) Full Text: DOI OpenURL
Goguen, J. A.; Burstall, R. M. Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. (English) Zbl 0566.68065 Theor. Comput. Sci. 31, 175-209 (1984). MSC: 68Q55 18C10 PDF BibTeX XML Cite \textit{J. A. Goguen} and \textit{R. M. Burstall}, Theor. Comput. Sci. 31, 175--209 (1984; Zbl 0566.68065) Full Text: DOI OpenURL
Benecke, Klaus; Reichel, Horst Equational partiality. (English) Zbl 0524.08005 Algebra Univers. 16, 219-232 (1983). MSC: 08A55 03C05 08C15 PDF BibTeX XML Cite \textit{K. Benecke} and \textit{H. Reichel}, Algebra Univers. 16, 219--232 (1983; Zbl 0524.08005) Full Text: DOI OpenURL
Broy, Manfred; Wirsing, Martin Algebraic definition of a functional programming language and its semantic models. (English) Zbl 0515.68017 RAIRO, Inf. Théor. 17, 137-161 (1983). MSC: 68P05 68N01 PDF BibTeX XML Cite \textit{M. Broy} and \textit{M. Wirsing}, RAIRO, Inf. Théor. 17, 137--161 (1983; Zbl 0515.68017) Full Text: EuDML OpenURL
Schmidt, David A. Approximation properties of abstract data types. (English) Zbl 0509.68016 Theor. Comput. Sci. 24, 73-94 (1983). MSC: 68P05 PDF BibTeX XML Cite \textit{D. A. Schmidt}, Theor. Comput. Sci. 24, 73--94 (1983; Zbl 0509.68016) Full Text: DOI OpenURL
Novotný, Miroslav Contextual grammars vs. context-free algebras. (English) Zbl 0534.68050 Czech. Math. J. 32(107), 529-547 (1982). Reviewer: M.Armbrust MSC: 68Q45 08A55 PDF BibTeX XML Cite \textit{M. Novotný}, Czech. Math. J. 32(107), 529--547 (1982; Zbl 0534.68050) Full Text: EuDML OpenURL
Franchi-Zannettacci, Paul An extension to trees of the Sardinas and Patterson algorithm. (English) Zbl 0512.94015 Inf. Process. Lett. 14, 168-173 (1982). Reviewer: C. Reutenauer (Montreal) MSC: 94A45 05C05 68T99 PDF BibTeX XML Cite \textit{P. Franchi-Zannettacci}, Inf. Process. Lett. 14, 168--173 (1982; Zbl 0512.94015) Full Text: DOI OpenURL
Burmeister, Peter Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras. (English) Zbl 0511.03014 Algebra Univers. 15, 306-358 (1982). MSC: 03C60 03C65 08C10 PDF BibTeX XML Cite \textit{P. Burmeister}, Algebra Univers. 15, 306--358 (1982; Zbl 0511.03014) Full Text: DOI OpenURL
Lescanne, Pierre Modeles non déterministes de types abstraits. (French) Zbl 0491.68013 RAIRO, Inf. Theor. 16, 225-244 (1982). MSC: 68P05 PDF BibTeX XML Cite \textit{P. Lescanne}, RAIRO, Inf. Théor. 16, 225--244 (1982; Zbl 0491.68013) Full Text: EuDML OpenURL
Courcelle, Bruno; Franchi-Zannettacci, Paul Attribute grammars and recursive program schemes. I. II. (English) Zbl 0481.68068 Theor. Comput. Sci. 17, 163-191, 235-257 (1982). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Courcelle} and \textit{P. Franchi-Zannettacci}, Theor. Comput. Sci. 17, 163--191, 235--257 (1982; Zbl 0481.68068) Full Text: DOI OpenURL
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef Transformations of structures: An algebraic approach. (English) Zbl 0491.68035 Math. Syst. Theory 14, 305-334 (1981). MSC: 68Q65 68Q60 68Q45 68Q70 18B20 PDF BibTeX XML Cite \textit{H. Ehrig} et al., Math. Syst. Theory 14, 305--334 (1981; Zbl 0491.68035) Full Text: DOI OpenURL
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B. More on advice on structuring compilers and proving them correct. (English) Zbl 0468.68007 Theor. Comput. Sci. 15, 223-249 (1981). MSC: 68N01 68Q60 68N25 PDF BibTeX XML Cite \textit{J. W. Thatcher} et al., Theor. Comput. Sci. 15, 223--249 (1981; Zbl 0468.68007) Full Text: DOI OpenURL
Lehmann, Daniel J.; Smyth, Michael B. Algebraic specification of data types. A synthetic approach. (English) Zbl 0457.68035 Math. Syst. Theory 14, 97-139 (1981). MSC: 68Q65 68P05 PDF BibTeX XML Cite \textit{D. J. Lehmann} and \textit{M. B. Smyth}, Math. Syst. Theory 14, 97--139 (1981; Zbl 0457.68035) Full Text: DOI OpenURL
Meseguer, Jose Varieties of chain-complete algebras. (English) Zbl 0445.18008 J. Pure Appl. Algebra 19, 347-383 (1980). MSC: 18C10 68Q60 06F99 03C05 PDF BibTeX XML Cite \textit{J. Meseguer}, J. Pure Appl. Algebra 19, 347--383 (1980; Zbl 0445.18008) Full Text: DOI OpenURL
Beynon, W. M. On the structure of free finite state machines. (English) Zbl 0433.68048 Theor. Comput. Sci. 11, 167-180 (1980). MSC: 68Q70 08A99 20M35 PDF BibTeX XML Cite \textit{W. M. Beynon}, Theor. Comput. Sci. 11, 167--180 (1980; Zbl 0433.68048) Full Text: DOI Link OpenURL
Vasilach, Serge Direct limits in the categories of non finitary heterogeneous algebras. (English) Zbl 0473.18001 Rend. Circ. Mat. Palermo, II. Ser. 28, 337-350 (1979). MSC: 18A30 18B20 PDF BibTeX XML Cite \textit{S. Vasilach}, Rend. Circ. Mat. Palermo (2) 28, 337--350 (1979; Zbl 0473.18001) Full Text: DOI OpenURL
Wand, Mitchell Final algebra semantics and data type extensions. (English) Zbl 0418.68020 J. Comput. Syst. Sci. 19, 27-44 (1979). MSC: 68P05 68Q60 68Q55 PDF BibTeX XML Cite \textit{M. Wand}, J. Comput. Syst. Sci. 19, 27--44 (1979; Zbl 0418.68020) Full Text: DOI OpenURL
Chirica, Laurian M.; Martin, David F. An order-algebraic definition of Knuthian semantics. (English) Zbl 0397.68087 Math. Syst. Theory 13, 1-27 (1979). MSC: 68Q55 PDF BibTeX XML Cite \textit{L. M. Chirica} and \textit{D. F. Martin}, Math. Syst. Theory 13, 1--27 (1979; Zbl 0397.68087) Full Text: DOI OpenURL
Foo, Norman Y. Homomorphisms in the theory of modelling. (English) Zbl 0394.93005 Int. J. Gen. Syst. 5, 13-16 (1979). MSC: 93A10 03G99 PDF BibTeX XML Cite \textit{N. Y. Foo}, Int. J. Gen. Syst. 5, 13--16 (1979; Zbl 0394.93005) Full Text: DOI OpenURL
Majster, Mila E. Data types, abstract data types and their specification problem. (English) Zbl 0393.68022 Theor. Comput. Sci. 8, 89-127 (1979). MSC: 68P05 PDF BibTeX XML Cite \textit{M. E. Majster}, Theor. Comput. Sci. 8, 89--127 (1979; Zbl 0393.68022) Full Text: DOI OpenURL
Vasilach, Serge Projective limits in the categories of heterogeneous algebras and abstract automata. (English) Zbl 0455.18001 Rend. Circ. Mat. Palermo, II. Ser. 27, 210-228 (1978). MSC: 18A35 18B20 PDF BibTeX XML Cite \textit{S. Vasilach}, Rend. Circ. Mat. Palermo (2) 27, 210--228 (1978; Zbl 0455.18001) Full Text: DOI OpenURL
Dörfler, Willibald The Cartesian composition of automata. (English) Zbl 0385.68055 Math. Syst. Theory 11, 239-257 (1978). MSC: 68Q70 PDF BibTeX XML Cite \textit{W. Dörfler}, Math. Syst. Theory 11, 239--257 (1978; Zbl 0385.68055) Full Text: DOI OpenURL
Engelfriet, Joost; Schmidt, Erik Meineche IO and OI. II. (English) Zbl 0371.68020 J. Comput. Syst. Sci. 16, 67-99 (1978). MSC: 68Q45 68N01 PDF BibTeX XML Cite \textit{J. Engelfriet} and \textit{E. M. Schmidt}, J. Comput. Syst. Sci. 16, 67--99 (1978; Zbl 0371.68020) Full Text: DOI OpenURL
Engelfriet, Joost; Schmidt, Erik Meineche IO and OI. I. (English) Zbl 0366.68053 J. Comput. Syst. Sci. 15, 328-353 (1977). MSC: 68Q45 68N01 PDF BibTeX XML Cite \textit{J. Engelfriet} and \textit{E. M. Schmidt}, J. Comput. Syst. Sci. 15, 328--353 (1977; Zbl 0366.68053) Full Text: DOI OpenURL
Rosen, Barry K. Deriving graphs from graphs by applying a production. (English) Zbl 0299.68054 Acta Inf. 4, 337-357 (1975). MSC: 68Q45 68W99 05C20 PDF BibTeX XML Cite \textit{B. K. Rosen}, Acta Inf. 4, 337--357 (1975; Zbl 0299.68054) Full Text: DOI OpenURL
Maibaum, T. S. E. A generalized approach to formal languages. (English) Zbl 0361.68113 J. Comput. Syst. Sci. 8, 409-439 (1974). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. S. E. Maibaum}, J. Comput. Syst. Sci. 8, 409--439 (1974; Zbl 0361.68113) Full Text: DOI OpenURL
Taylor, Walter Characterizing Mal’cev conditions. (English) Zbl 0304.08003 Algebra Univers. 3, 351-397 (1973). MSC: 08B99 08Axx PDF BibTeX XML Cite \textit{W. Taylor}, Algebra Univers. 3, 351--397 (1973; Zbl 0304.08003) Full Text: DOI OpenURL
Ricci, G. Cascades of tree-automata and computations in universal algebras. (English) Zbl 0277.94031 Math. Syst. Theory 7, 201-218 (1973). MSC: 68Q45 08Axx PDF BibTeX XML Cite \textit{G. Ricci}, Math. Syst. Theory 7, 201--218 (1973; Zbl 0277.94031) Full Text: DOI OpenURL
Poythress, V. S. Partial morphisms on partial algebras. (English) Zbl 0274.08008 Algebra Univers. 3, 182-202 (1973). MSC: 08Axx 08B99 08A05 PDF BibTeX XML Cite \textit{V. S. Poythress}, Algebra Univers. 3, 182--202 (1973; Zbl 0274.08008) Full Text: DOI OpenURL