×

Found 33 Documents (Results 1–33)

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
Full Text: DOI

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).
MSC:  11F23 11G35 14J32
PDFBibTeX XMLCite

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
Full Text: DOI

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).
MSC:  03C45 03-02 03-03
PDFBibTeX XMLCite

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

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).
PDFBibTeX XMLCite

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).
MSC:  08B10 18C05
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
MSC:  08A30 08B05 08B10
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field

Software