×

zbMATH — the first resource for mathematics

Found 19 Documents (Results 1–19)

100
MathJax
Kornai, András (ed.) et al., The 13th meeting on the mathematics of language. Proceedings of the meeting, MoL 13, Sofia, Bulgaria, August 9, 2013. Stroudsburg, PA: Association for Computational Linguistics (ISBN 978-1-937284-65-7). 30-40 (2013).
MSC:  03B44 03B65
PDF BibTeX XML Cite
Full Text: Link
Aloni, Maria (ed.) et al., Logic, language and meaning. 17th Amsterdam colloquium, Amsterdam, The Netherlands, December 16–18, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14286-4/pbk). Lecture Notes in Computer Science 6042. Lecture Notes in Artificial Intelligence, 143-152 (2010).
MSC:  03B65
PDF BibTeX XML Cite
Full Text: DOI
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, 23-36 (2006).
MSC:  03B65 03B44 68T50
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 11th international conference, CIAA 2006, Taipei, Taiwan, August 21–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37213-4/pbk). Lecture Notes in Computer Science 4094, 230-241 (2006).
MSC:  03B44 68Q45 68T27
PDF BibTeX XML Cite
Full Text: DOI
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. 139-151 (2002).
MSC:  03B65 03B45 68T50
PDF BibTeX XML Cite
Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 199-219 (1996).
MSC:  03B65 03B60 03A05
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 96-110 (1992).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
Classification