O’Hearn, Peter W.; Yang, Hongseok; Reynolds, John C. Separation and information hiding. (English) Zbl 1325.68069 Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 268-280 (2004). MSC: 68N30 03B70 68N15 PDFBibTeX XMLCite \textit{P. W. O'Hearn} et al., in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '04, Venice, Italy, January 14--16, 2004. New York, NY: Association for Computing Machinery (ACM). 268--280 (2004; Zbl 1325.68069) Full Text: DOI
Gaudin, B.; Marchand, H. Supervisory control of product and hierarchical discrete event systems. (English) Zbl 1293.93037 Eur. J. Control 10, No. 2, 131-145 (2004). MSC: 93A13 93C65 PDFBibTeX XMLCite \textit{B. Gaudin} and \textit{H. Marchand}, Eur. J. Control 10, No. 2, 131--145 (2004; Zbl 1293.93037) Full Text: DOI
Yui, N. Arithmetic of Calabi-Yau varieties. (English) Zbl 1104.11019 Tschinkel, Yuri (ed.), Mathematisches Institut, Georg-August-Universität Göttingen: Seminars Summer Term 2004.; Lecture notes from the seminars “Number theory”, “Algebraic geometry” and “Geometric methods in representation theory” held at the University of Göttingen, Göttingen, Germany, 2004. Göttingen: Universitätsdrucke Göttingen (ISBN 3-930457-70-9/pbk). 9-29 (2004). Reviewer: Masanori Morishita (Fukuoka) MSC: 11F23 11G35 14J32 PDFBibTeX XMLCite \textit{N. Yui}, in: Mathematisches Institut, Georg-August-Universität Göttingen: Seminars Summer Term 2004. Lecture notes from the seminars ``Number theory'', ``Algebraic geometry'' and ``Geometric methods in representation theory'' held at the University of Göttingen, Göttingen, Germany, 2004. Göttingen: Universitätsdrucke Göttingen. 9--29 (2004; Zbl 1104.11019)
Conaway, LeAnne; Kearnes, Keith A. Minimal sets in finite rings. (English) Zbl 1087.16014 Algebra Univers. 51, No. 1, 81-109 (2004). Reviewer: Xue Weimin (Fujian) MSC: 16P10 08B10 08A30 08A40 PDFBibTeX XMLCite \textit{L. Conaway} and \textit{K. A. Kearnes}, Algebra Univers. 51, No. 1, 81--109 (2004; Zbl 1087.16014) Full Text: DOI
Bourn, Dominique Fibration of points and congruence modularity. (English) Zbl 1086.08003 Algebra Univers. 52, No. 4, 403-429 (2004). MSC: 08B10 08C05 18C10 PDFBibTeX XMLCite \textit{D. Bourn}, Algebra Univers. 52, No. 4, 403--429 (2004; Zbl 1086.08003) Full Text: DOI
Ploščica, Miroslav Relative separation in distributive congruence lattices. (English) Zbl 1082.06008 Algebra Univers. 52, No. 2-3, 313-323 (2004). MSC: 06B10 06B20 08A30 08B10 PDFBibTeX XMLCite \textit{M. Ploščica}, Algebra Univers. 52, No. 2--3, 313--323 (2004; Zbl 1082.06008) Full Text: DOI
Baker, Kirby A.; McNulty, George F.; Wang, Ju An extension of Willard’s finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth. (English) Zbl 1090.08006 Algebra Univers. 52, No. 2-3, 289-302 (2004). MSC: 08B05 08B10 03C05 PDFBibTeX XMLCite \textit{K. A. Baker} et al., Algebra Univers. 52, No. 2--3, 289--302 (2004; Zbl 1090.08006) Full Text: DOI
Gran, Marino; Rosický, Jiří Special reflexive graphs in modular varieties. (English) Zbl 1087.08006 Algebra Univers. 52, No. 1, 89-102 (2004). Reviewer: Dimitru Busneag (Craiova) MSC: 08B10 18A10 18D35 PDFBibTeX XMLCite \textit{M. Gran} and \textit{J. Rosický}, Algebra Univers. 52, No. 1, 89--102 (2004; Zbl 1087.08006) Full Text: DOI
Vernikov, B. M. Semigroup varieties on whose free objects almost all fully invariant congruences are weakly permutable. (Russian, English) Zbl 1079.20076 Algebra Logika 43, No. 6, 635-649 (2004); translation in Algebra Logic 43, No. 6, 357-364 (2004). Reviewer: K. N. Ponomarev (Novosibirsk) MSC: 20M07 08A30 08B10 PDFBibTeX XMLCite \textit{B. M. Vernikov}, Algebra Logika 43, No. 6, 635--649 (2004; Zbl 1079.20076); translation in Algebra Logic 43, No. 6, 357--364 (2004) Full Text: DOI
Nastas Acras, Ricardo; Vergilio, Silvia Regina Splinter: A generic framework for evolving modular finite state machines. (English) Zbl 1105.68426 Bazzan, Ana L. C. (ed.) et al., Advances in artificial intelligence – SBIA 2004. 17th Brazilian symposium on artificial intelligence, São Luis, Maranhão, Brazil, September 29 – October 1, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23237-0/pbk). Lecture Notes in Computer Science 3171. Lecture Notes in Artificial Intelligence, 356-365 (2004). MSC: 68T20 68Q45 68T05 PDFBibTeX XMLCite \textit{R. Nastas Acras} and \textit{S. R. Vergilio}, Lect. Notes Comput. Sci. 3171, 356--365 (2004; Zbl 1105.68426) Full Text: DOI
Khare, Chandrashekhar Modularity of \(p\)-adic Galois representations via \(p\)-adic approximations. (English) Zbl 1082.11030 J. Théor. Nombres Bordx. 16, No. 1, 179-185 (2004). Reviewer: Payman Kassaei (Montreal) MSC: 11F80 11F85 11F33 PDFBibTeX XMLCite \textit{C. Khare}, J. Théor. Nombres Bordx. 16, No. 1, 179--185 (2004; Zbl 1082.11030) Full Text: DOI arXiv Numdam EuDML
Chajda, Ivan; Dorfer, Gerhard; Länger, Helmut Local versions of some congruence properties in single algebras. (English) Zbl 1077.08002 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 43, 65-73 (2004). Reviewer: Alexander Ivanovich Budkin (Barnaul) MSC: 08A30 08B05 PDFBibTeX XMLCite \textit{I. Chajda} et al., Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 43, 65--73 (2004; Zbl 1077.08002) Full Text: EuDML
Chajda, Ivan; Länger, Helmut Orthorings. (English) Zbl 1080.16053 Discuss. Math., Gen. Algebra Appl. 24, No. 1, 137-147 (2004). Reviewer: Jaromír Duda (Brno) MSC: 16Y99 06C15 08B10 08A40 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Discuss. Math., Gen. Algebra Appl. 24, No. 1, 137--147 (2004; Zbl 1080.16053) Full Text: DOI
Kun, Gábor; Szabó, Csaba Jónsson terms and near-unanimity functions in finite posets. (English) Zbl 1061.06008 Order 20(2003), No. 4, 291-298 (2004). MSC: 06A11 08B05 08B10 PDFBibTeX XMLCite \textit{G. Kun} and \textit{C. Szabó}, Order 20, No. 4, 291--298 (2004; Zbl 1061.06008) Full Text: DOI
Pillay, Anand Aspects of geometric model theory. (English) Zbl 1069.03024 van Eijck, Jan (ed.) et al., Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. Natick, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-203-5/pbk; 1-56881-199-3/hbk). Lecture Notes in Logic 17, 30-48 (2004). Reviewer: Carlo Toffalori (Camerino) MSC: 03C45 03-02 03-03 PDFBibTeX XMLCite \textit{A. Pillay}, Lect. Notes Log. 17, 30--48 (2004; Zbl 1069.03024)
Smith, Jonathan D. H. Extension theory in Mal’tsev varieties. (English) Zbl 1067.18015 Janelidze, George (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 517-522 (2004). MSC: 18G50 08B10 PDFBibTeX XMLCite \textit{J. D. H. Smith}, Fields Inst. Commun. 43, 517--522 (2004; Zbl 1067.18015)
Gran, Marino Applications of categorical Galois theory in universal algebra. (English) Zbl 1067.18011 Janelidze, George (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 243-280 (2004). MSC: 18E10 18G50 08B10 18B40 08C15 PDFBibTeX XMLCite \textit{M. Gran}, Fields Inst. Commun. 43, 243--280 (2004; Zbl 1067.18011)
Bourn, Dominique; Gran, Marino Categorical aspects of modularity. (English) Zbl 1081.08011 Janelidze, George (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 77-100 (2004). Reviewer: Jiří Rosický (Brno) MSC: 08B10 18C05 PDFBibTeX XMLCite \textit{D. Bourn} and \textit{M. Gran}, Fields Inst. Commun. 43, 77--100 (2004; Zbl 1081.08011)
Kilp, Mati On recent results of Estonian algebraists. (English) Zbl 1065.08001 Abel, Mati (ed.), FinEst Math 2002. Recent developments in mathematics. Proceedings of the 1st Finnish-Estonian colloquium, FinEst Math 2002, Tallinn, Estonia, May 27–29, 2002. Tartu: Estonian Mathematical Society (ISBN 9985-9444-3-7/pbk). Mathematics Studies (Tartu) 2, 80-93 (2004). Reviewer: Peeter Normak (Tallinn) MSC: 08-02 20-02 08A05 08A40 08A45 08B10 08B30 17D99 20M20 20M30 20M50 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Kilp}, Math. Stud., Tartu 2, 80--93 (2004; Zbl 1065.08001)
Chajda, I.; Halaš, R. On schemes for congruence distributivity. (English) Zbl 1062.08002 Cent. Eur. J. Math. 2, No. 3, 368-376 (2004). Reviewer: Sheila Oates-Williams (Beerwah) MSC: 08A30 08B05 08B10 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{R. Halaš}, Cent. Eur. J. Math. 2, No. 3, 368--376 (2004; Zbl 1062.08002) Full Text: DOI
Yi, You-Chiang On the modularity of a rigid Calabi-Yau threefold. (English) Zbl 1077.14053 J. Math. Kyoto Univ. 44, No. 1, 119-127 (2004). Reviewer: Stefan Schröer (Düsseldorf) MSC: 14J32 11F80 11F23 14G35 PDFBibTeX XMLCite \textit{Y.-C. Yi}, J. Math. Kyoto Univ. 44, No. 1, 119--127 (2004; Zbl 1077.14053) Full Text: DOI
Jarvis, Frazer; Meekin, Paul The Fermat equation over \(\mathbb Q(\sqrt 2)\). (English) Zbl 1078.11019 J. Number Theory 109, No. 1, 182-196 (2004). Reviewer: Edward L. Cohen (Ottawa) MSC: 11D41 11F41 11F80 PDFBibTeX XMLCite \textit{F. Jarvis} and \textit{P. Meekin}, J. Number Theory 109, No. 1, 182--196 (2004; Zbl 1078.11019) Full Text: DOI
Bourn, Dominique; Gran, Marino Normal sections and direct product decompositions. (English) Zbl 1062.18003 Commun. Algebra 32, No. 10, 3825-3842 (2004). Reviewer: Dimitru Busneag (Craiova) MSC: 18C10 08B10 18A20 18E10 PDFBibTeX XMLCite \textit{D. Bourn} and \textit{M. Gran}, Commun. Algebra 32, No. 10, 3825--3842 (2004; Zbl 1062.18003) Full Text: DOI
Feng, Qin Uninorm solutions and (or) nullnorm solutions to the modularity condition equations. (English) Zbl 1058.03057 Fuzzy Sets Syst. 148, No. 2, 231-242 (2004). Reviewer: Milan Mareš (Praha) MSC: 03E72 PDFBibTeX XMLCite \textit{Q. Feng}, Fuzzy Sets Syst. 148, No. 2, 231--242 (2004; Zbl 1058.03057) Full Text: DOI
Taylor, Richard Galois representations. (English) Zbl 1074.11030 Ann. Fac. Sci. Toulouse, VI. Sér., Math. 13, No. 1, 73-119 (2004). Reviewer: Stefan Kühnlein (Karlsruhe) MSC: 11F80 11F70 11S37 11-02 PDFBibTeX XMLCite \textit{R. Taylor}, Ann. Fac. Sci. Toulouse, Math. (6) 13, No. 1, 73--119 (2004; Zbl 1074.11030) Full Text: DOI arXiv Numdam EuDML
Schütt, Matthias New examples of modular rigid Calabi-Yau threefolds. (English) Zbl 1062.14050 Collect. Math. 55, No. 2, 219-228 (2004). Reviewer: Noriko Yui (Kingston) MSC: 14J32 11G18 11F11 11F23 14G35 PDFBibTeX XMLCite \textit{M. Schütt}, Collect. Math. 55, No. 2, 219--228 (2004; Zbl 1062.14050) Full Text: arXiv EuDML
Kimber, Tom Modularity in the lattice of \(\Sigma\)-permutable subgroups. (English) Zbl 1065.20032 Arch. Math. 83, No. 3, 193-203 (2004). Reviewer: Roland Schmidt (Kiel) MSC: 20D20 20D40 20D10 20D30 PDFBibTeX XMLCite \textit{T. Kimber}, Arch. Math. 83, No. 3, 193--203 (2004; Zbl 1065.20032) Full Text: DOI
Mosses, Peter D. Exploiting labels in structural operational semantics. (English) Zbl 1083.68066 Fundam. Inform. 60, No. 1-4, 17-31 (2004). MSC: 68Q55 PDFBibTeX XMLCite \textit{P. D. Mosses}, Fundam. Inform. 60, No. 1--4, 17--31 (2004; Zbl 1083.68066) Full Text: Link
Damm, Carsten; Krause, Matthias; Meinel, Christoph; Waack, Stephan On relations between counting communication complexity classes. (English) Zbl 1159.68465 J. Comput. Syst. Sci. 69, No. 2, 259-280 (2004). MSC: 68Q15 68M12 PDFBibTeX XMLCite \textit{C. Damm} et al., J. Comput. Syst. Sci. 69, No. 2, 259--280 (2004; Zbl 1159.68465) Full Text: DOI
Walendziak, Andrzej Subalgebras and homomorphic images of algebras having the CEP and the WCIP. (English) Zbl 1049.08002 Czech. Math. J. 54, No. 1, 155-160 (2004). MSC: 08A30 08B10 PDFBibTeX XMLCite \textit{A. Walendziak}, Czech. Math. J. 54, No. 1, 155--160 (2004; Zbl 1049.08002) Full Text: DOI EuDML
Di Nola, Antonio; Grigolia, Revaz On monadic MV-algebras. (English) Zbl 1052.06010 Ann. Pure Appl. Logic 128, No. 1-3, 125-139 (2004). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 03G25 08B10 08B05 PDFBibTeX XMLCite \textit{A. Di Nola} and \textit{R. Grigolia}, Ann. Pure Appl. Logic 128, No. 1--3, 125--139 (2004; Zbl 1052.06010) Full Text: DOI
Ploščica, Miroslav Finite congruence lattices in congruence distributive varieties. (English) Zbl 1047.08005 Chajda, I. (ed.) et al., Proceedings of the 64th workshop on general algebra “64. Arbeitstagung Allgemeine Algebra”, Olomouc, Czech Republic, May 30–June 2, 2002 and of the 65th workshop on general algebra “65. Arbeitstagung Allgemeine Algebra”, Potsdam, Germany, March 21–23, 2003. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0116-6/pbk). Contrib. Gen. Algebra 14, 119-125 (2004). Reviewer: Jaromír Duda (Brno) MSC: 08B10 08A30 06B10 06B20 PDFBibTeX XMLCite \textit{M. Ploščica}, Contrib. Gen. Algebra 14, 119--125 (2004; Zbl 1047.08005)
Chajda, Ivan; Eigenthaler, Günther; Länger, Helmut Determined congruence classes. (English) Zbl 1047.08004 Chajda, I. (ed.) et al., Proceedings of the 64th workshop on general algebra “64. Arbeitstagung Allgemeine Algebra”, Olomouc, Czech Republic, May 30–June 2, 2002 and of the 65th workshop on general algebra “65. Arbeitstagung Allgemeine Algebra”, Potsdam, Germany, March 21–23, 2003. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0116-6/pbk). Contrib. Gen. Algebra 14, 21-28 (2004). Reviewer: Jaromír Duda (Brno) MSC: 08A30 08B05 08B10 PDFBibTeX XMLCite \textit{I. Chajda} et al., Contrib. Gen. Algebra 14, 21--28 (2004; Zbl 1047.08004)