×

zbMATH — the first resource for mathematics

Found 27 Documents (Results 1–27)

100
MathJax
Bird, Richard S. (ed.) et al., Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 669, 100-121 (1993).
PDF BibTeX Cite
Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 245-292 (1991).
PDF BibTeX Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software