×

Found 20 Documents (Results 1–20)

100
MathJax

Intervals and complete congruences defined by \(M\)-solid varieties. (English) Zbl 1067.08006

Proceedings of the international conference on algebra and its applications (ICAA 2002), Chulalongkorn University, Bangkok, Thailand, March 18–20, 2002. Bangkog: Chulalongkorn University, Department of Mathematics (ISBN 970-13-2182-1). 121-132 (2002).
PDF BibTeX XML Cite
Full Text: Link

Logical relations and Galois connections. (English) Zbl 1073.68570

Boiten, Eerke A. (ed.) et al., Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43857-2). Lect. Notes Comput. Sci. 2386, 23-39 (2002).
MSC:  68N30 68N18 06A15
PDF BibTeX XML Cite
Full Text: Link

Chapter 4. Galois connections and fixed point calculus. (English) Zbl 1065.68030

Backhouse, Roland (ed.) et al., Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Berlin: Springer (ISBN 3-540-43613-8). Lect. Notes Comput. Sci. 2297, 89-148 (2002).
MSC:  68N30 06A15 18C50
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

all top 3

Classification

Software