×

Found 16 Documents (Results 1–16)

100
MathJax

Abstract domains for universal and existential properties. (English) Zbl 0960.68032

Smolka, Gerd (ed.), Programming languages and systems. 9th European symposium on programming, ESOP 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1782, 150-164 (2000).
MSC:  68N30 68N17 06A15
PDF BibTeX XML Cite

Posets via partial closure operators. (English) Zbl 0965.06003

Dorninger, D. (ed.) et al., Contributions to general algebra 12. Proceedings of the 58th workshop on general algebra “58. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, June 3-6, 1999. Klagenfurt: Verlag Johannes Heyn. 371-375 (2000).
MSC:  06A06 06A15
PDF BibTeX XML Cite

Operational Galois adjunctions. (English) Zbl 0962.18003

Coecke, Bob (ed.) et al., Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 111, 195-218 (2000).
MSC:  18B35 81P10 06A15
PDF BibTeX XML Cite
Full Text: arXiv

Filter Results by …

Document Type

all top 3

Classification