×

zbMATH — the first resource for mathematics

Found 79 Documents (Results 1–79)

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 14, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 18-33 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 157-172 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 119-142 (2012).
MSC:  03B47 03G30
PDF BibTeX XML Cite
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 177-197 (2012).
MSC:  68N19 03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 119-132 (2011).
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
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 22-38 (2010).
MSC:  03B47 03B42
PDF BibTeX XML Cite
Freitag, Burkhard (ed.) et al., Transactions and change in logic databases. International seminar on Logic databases and the meaning of change, Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS ’97 post-conference workshop on (Trans)Actions and change in logic programming and deductive databases, DYNAMICS ’97, Port Jefferson, NY, USA, October 17, 1997. Berlin: Springer. Lect. Notes Comput. Sci. 1472, 227-248 (1998).
MSC:  03B70
PDF BibTeX XML Cite
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, 249-268 (1998).
MSC:  03B45
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 311-326 (1990).
MSC:  03B45
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 105-116 (1990).
PDF BibTeX XML Cite

Filter Results by …

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