×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 28, 12 p. (2017).
MSC:  03B45 03F05 68Q60
PDF BibTeX XML Cite
Full Text: Link
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 73-84 (1998).
MSC:  03B45 03B70 03D05
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 339-349 (1990).
Reviewer: L.Brim (Brno)
MSC:  03B45 03B70
PDF BibTeX XML Cite