×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 257-277 (2002).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Immerman, Neil (ed.) et al., Descriptive complexity and finite models. Proceedings of a DIMACS workshop, January 14–17, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 31, 149-183 (1997).
MSC:  03B45 03B25
PDF BibTeX XML Cite