Arworn, Srichan Groupoids of hypersubstitutions and G-solid varieties. (English) Zbl 0956.08500 Potsdam: Univ. Potsdam, Mathematisch-Naturwissenschaftliche Fakultät, 80 p. (1999). MSC: 08B99 20N02 PDFBibTeX XMLCite \textit{S. Arworn}, Groupoids of hypersubstitutions and G-solid varieties. Potsdam: Univ. Potsdam, Mathematisch-Naturwissenschaftliche Fakultät (1999; Zbl 0956.08500)
Hoehnke, Hans-Jürgen Nonstandard representation of the Mal’cev clone of a strong variety. (English) Zbl 0959.08001 Shum, Kar-Ping (ed.) et al., Algebras and combinatorics. Papers from the international congress, ICAC’97, Hong Kong, August 1997. Singapore: Springer. 291-307 (1999). Reviewer: K.I.Rosenthal (Schenectady) MSC: 08A55 08B05 08C05 18C10 PDFBibTeX XMLCite \textit{H.-J. Hoehnke}, in: Algebras and combinatorics. Papers from the international congress, ICAC'97, Hong Kong, August 1997. Singapore: Springer. 291--307 (1999; Zbl 0959.08001)
Popov, V. Yu. On equational theories of varieties of anticommutative rings. (English. Russian original) Zbl 0942.08002 Math. Notes 65, No. 2, 188-201 (1999); translation from Mat. Zametki 65, No. 2, 230-245 (1999). Reviewer: A.A.Iskander (Lafayette) MSC: 08B05 16B70 03B25 PDFBibTeX XMLCite \textit{V. Yu. Popov}, Math. Notes 65, No. 2, 188--201 (1999; Zbl 0942.08002); translation from Mat. Zametki 65, No. 2, 230--245 (1999) Full Text: DOI
Baader, Franz; Tinelli, Cesare Deciding the word problem in the union of equational theories sharing constructors. (English) Zbl 0976.03051 Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 175-189 (1999). MSC: 03D40 68Q42 03B25 PDFBibTeX XMLCite \textit{F. Baader} and \textit{C. Tinelli}, Lect. Notes Comput. Sci. 1631, 175--189 (1999; Zbl 0976.03051)
Marcinkowski, Jerzy Undecidability of the \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol. (English) Zbl 0939.03013 Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 92-102 (1999). MSC: 03B25 68Q42 PDFBibTeX XMLCite \textit{J. Marcinkowski}, Lect. Notes Comput. Sci. 1631, 92--102 (1999; Zbl 0939.03013)
Marx, Maarten Relation algebras can tile. (English) Zbl 0939.03009 Inf. Sci. 119, No. 3-4, 173-191 (1999). MSC: 03B25 03G15 05B45 03D35 PDFBibTeX XMLCite \textit{M. Marx}, Inf. Sci. 119, No. 3--4, 173--191 (1999; Zbl 0939.03009) Full Text: DOI
Lucanu, Dorel Axiomatization of the coherence property for categories of symmetries. (English) Zbl 0940.18003 Ciobanu, Gabriel (ed.) et al., Fundamentals of computation theory. 12th international symposium, FCT ’99. Iaşi, Romania, August 30 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1684, 386-397 (1999). MSC: 18C10 68Q42 18C50 PDFBibTeX XMLCite \textit{D. Lucanu}, Lect. Notes Comput. Sci. 1684, 386--397 (1999; Zbl 0940.18003)
Gurevich, Yuri; Voronkov, Andrei Monadic simultaneous rigid \(E\)-unification. (English) Zbl 0930.03007 Theor. Comput. Sci. 222, No. 1-2, 133-152 (1999). MSC: 03B35 03B25 03B20 03D40 03D15 68R15 PDFBibTeX XMLCite \textit{Y. Gurevich} and \textit{A. Voronkov}, Theor. Comput. Sci. 222, No. 1--2, 133--152 (1999; Zbl 0930.03007) Full Text: DOI
Shabunin, L. V. The elementary equivalence of free algebras in Cantor varieties. (English. Russian original) Zbl 0924.08008 Algebra Logika 38, No. 2, 228-248 (1999); translation in Algebra Logic 38, No. 2, 121-133 (1999). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 08C10 03B25 08A50 08B05 08B20 PDFBibTeX XMLCite \textit{L. V. Shabunin}, Algebra Logika 38, No. 2, 228--248 (1999; Zbl 0924.08008); translation in Algebra Logic 38, No. 2, 121--133 (1999) Full Text: EuDML
Popov, V. Yu. On equational theories of classes of finite rings. (English. Russian original) Zbl 0924.03015 Sib. Math. J. 40, No. 3, 556-564 (1999); translation from Sib. Mat. Zh. 40, No. 3, 650-659 (1999). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03B25 08B05 20F10 03D35 PDFBibTeX XMLCite \textit{V. Yu. Popov}, Sib. Math. J. 40, No. 3, 650--659 (1999; Zbl 0924.03015); translation from Sib. Mat. Zh. 40, No. 3, 650--659 (1999) Full Text: DOI
Pynko, Alexej P. Definitional equivalence and algebraizability of generalized logical systems. (English) Zbl 0948.03007 Ann. Pure Appl. Logic 98, No. 1-3, 1-68 (1999); erratum ibid. 102, No. 3, 283-284 (2000). Reviewer: L.Esakia (Tbilisi) MSC: 03B22 03G99 03B60 08B05 03B55 08C15 PDFBibTeX XMLCite \textit{A. P. Pynko}, Ann. Pure Appl. Logic 98, No. 1--3, 1--68 (1999; Zbl 0948.03007) Full Text: DOI
Elgueta, Raimon Algebraic characterizations for universal fragments of logic. (English) Zbl 0936.08008 Math. Log. Q. 45, No. 3, 385-398 (1999). Reviewer: J.Schmid (Bern) MSC: 08C10 03C05 03C52 PDFBibTeX XMLCite \textit{R. Elgueta}, Math. Log. Q. 45, No. 3, 385--398 (1999; Zbl 0936.08008) Full Text: DOI
Mikulás, Szabolcs; Marx, Maarten Undecidable relativizations of algebras of relations. (English) Zbl 0934.03080 J. Symb. Log. 64, No. 2, 747-760 (1999). Reviewer: R.Maddux (Ames) MSC: 03G15 03B25 PDFBibTeX XMLCite \textit{S. Mikulás} and \textit{M. Marx}, J. Symb. Log. 64, No. 2, 747--760 (1999; Zbl 0934.03080) Full Text: DOI
Sain, Ildikó; Németi, István Fork algebras in usual and in non-well-founded set theories (an overview). (English) Zbl 0923.03074 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 669-694 (1999). MSC: 03G15 03E70 PDFBibTeX XMLCite \textit{I. Sain} and \textit{I. Németi}, Stud. Fuzziness Soft Comput. 24, 669--694 (1999; Zbl 0923.03074)
Hałkowska, Katarzyna Lattices of equational theories of \(P\)-compatible varieties. (English) Zbl 0924.08006 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 587-595 (1999). Reviewer: H.-J.Vogel (Potsdam) MSC: 08B15 03C05 06D05 PDFBibTeX XMLCite \textit{K. Hałkowska}, Stud. Fuzziness Soft Comput. 24, 587--595 (1999; Zbl 0924.08006)
de Kogel, Eric; de Swart, Harrie An exercise in relational algebra: Reduction in programming languages. (English) Zbl 0934.03078 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 410-423 (1999). Reviewer: K.Kaiser (Houston) MSC: 03G15 68N17 06B23 PDFBibTeX XMLCite \textit{E. de Kogel} and \textit{H. de Swart}, Stud. Fuzziness Soft Comput. 24, 410--423 (1999; Zbl 0934.03078)
Vassiliev, Evgueni V. Countably categorical structures with \(n\)-degenerate algebraic closure. (English) Zbl 0924.03051 Math. Log. Q. 45, No. 1, 85-94 (1999). Reviewer: H.-J.Vogel (Potsdam) MSC: 03C35 03C45 03C05 PDFBibTeX XMLCite \textit{E. V. Vassiliev}, Math. Log. Q. 45, No. 1, 85--94 (1999; Zbl 0924.03051) Full Text: DOI
Beke, Tibor Operads from the viewpoint of categorical algebra. (English) Zbl 0921.18004 McCleary, John (ed.), Higher homotopy structures in topology and mathematical physics. Proceedings of an international conference, June 13–15, 1996, Poughkeepsie, NY, USA, to honor the 60th birthday of Jim Stasheff. Providence, RI: American Mathematical Society. Contemp. Math. 227, 29-47 (1999). Reviewer: M.Hébert (Cairo) MSC: 18C05 08A02 08C05 18C10 18D05 PDFBibTeX XMLCite \textit{T. Beke}, Contemp. Math. 227, 29--47 (1999; Zbl 0921.18004)