×

zbMATH — the first resource for mathematics

Found 155 Documents (Results 1–100)

100
MathJax
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 17, 16 p. (2017).
MSC:  68Q55 18C50 18D15
PDF BibTeX XML Cite
Full Text: DOI arXiv
SpringerBriefs in Applied Sciences and Technology. Mathematical Methods. Cham: Springer (ISBN 978-3-319-15397-1/pbk; 978-3-319-15398-8/ebook). xi, 167 p. (2016).
Reviewer: Ioan Pop (Iaşi)
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 277-291 (2015).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 279-296 (2015).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 61-71, electronic only (2012).
MSC:  68Q55 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Pogodalla, Sylvain (ed.) et al., Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22220-7/pbk). Lecture Notes in Computer Science 6736. Lecture Notes in Artificial Intelligence, 64-79 (2011).
MSC:  03B65 91F20
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 48, No. 5, 330-343 (2009); translation from Algebra Logika 48, No. 5, 580-605 (2009).
MSC:  54H99 54F05 54C15 68Q55 18C50 46A40 18B30
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, J. (ed.) et al., Proceedings of the workshop on domain theoretic methods for probabilistic processes, McGill University, Montreal, Canada, April 21–25, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 87, 225-238 (2004).
PDF BibTeX XML Cite
Full Text: Link
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 263-283 (2002).
MSC:  03B65
PDF BibTeX XML Cite
Full Text: DOI
Current Studies in Linguistics. Cambridge, MA: MIT Press (ISBN 0-262-23218-9). xii, 297 p. (2001).
PDF BibTeX XML Cite
Zhong, Ning (ed.) et al., New directions in rough sets, data mining, and granular-soft computing. 7th international workshop, RSFDGrC ’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1711, 285-293 (1999).
MSC:  03B70 68T27
PDF BibTeX XML Cite
Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 251-277 (1999).
PDF BibTeX XML Cite
Saint-Dizier, Patrick (ed.), Predicative forms in natural language and in lexical knowledge bases. Selection of papers, workshop, Toulouse, France, August 1996. Dordrecht: Kluwer Academic Publishers. Text Speech Lang. Technol. 6, 285-319 (1999).
PDF BibTeX XML Cite
Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 177-188 (1998).
MSC:  03F03 68Q42
PDF BibTeX XML Cite
Nicholas, Charles (ed.) et al., Principles of document processing. 3rd international workshop, PODP ’96, Palo Alto, CA, USA, September 23, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1293, 39-49 (1997).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 33-43 (1997).
MSC:  68Q55 06B35
PDF BibTeX XML Cite
van der Does, Jaap (ed.) et al., Quantifiers, logic, and language. Based on a workshop on generalized quantifiers theory, Amsterdam, Netherlands in the early nineties. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 54, 63-94 (1996).
MSC:  03B65 03C80
PDF BibTeX XML Cite
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, 43-59 (1995).
MSC:  03G30 03F03 68Q42
PDF BibTeX XML Cite

Filter Results by …

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