×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 125-138 (2018).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 37-63 (2006).
MSC:  03F07 03F05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
all top 3
Classification
all top 3
Software