×

zbMATH — the first resource for mathematics

Found 28 Documents (Results 1–28)

100
MathJax
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 147-166 (1995).
Reviewer: G.Mints (Stanford)
MSC:  03F05 03B20 68Q25
PDF BibTeX XML Cite
Mayoh, Brian (ed.) et al., Constraint programming. Proceedings of the NATO Advanced Study Institute, held in Pärnu, Estonia, August 13-24, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 131, 289-311 (1994).
Reviewer: N.Zamov (Kazan’)
MSC:  03B35 03B20
PDF BibTeX XML Cite

Filter Results by …

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