×

zbMATH — the first resource for mathematics

Found 119 Documents (Results 1–100)

100
MathJax
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 173-184 (2017).
MSC:  03B20 03F03
PDF BibTeX XML Cite
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 5, 15 p. (2016).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 39-54 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 107-122 (2011).
MSC:  03F52
PDF BibTeX XML Cite
Full Text: DOI
Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 525-536 (2010).
MSC:  68N18 03F52
PDF BibTeX XML Cite
Full Text: DOI
Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 84-98 (2009).
MSC:  03F05 03F07
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 85-96 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., International symposium on fundamentals of software engineering. International symposium, FSEN 2007, Tehran, Iran, April 17–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75697-2/pbk). Lecture Notes in Computer Science 4767, 144-159 (2007).
MSC:  68Q60 03B70
PDF BibTeX XML Cite
Full Text: DOI
Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 203-217 (2006).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Löwe, Benedikt (ed.) et al., Foundation of the formal sciences II. Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10–13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 235-256 (2003).
PDF BibTeX XML Cite
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 63-81 (2000).
PDF BibTeX XML Cite
Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 75-89 (1999).
MSC:  03F52 03F07 03B40
PDF BibTeX XML Cite
Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 26 (1999).
PDF BibTeX XML Cite
Full Text: Link
Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 755-768 (1998).
PDF BibTeX XML Cite
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 22 p. (1996).
MSC:  03B20 03F05
PDF BibTeX XML Cite
Full Text: Link
Copeland, B. J. (ed.), Logic and reality: essays on the legacy of Arthur Prior. Including papers from the Arthur Prior memorial conference, University of Canterbury, Christchurch, New Zealand, 1989. Oxford: Clarendon Press. 351-385 (1996).
Reviewer: G.Mints (Stanford)
MSC:  03F03 03F05 03B47
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, 197-210 (1995).
MSC:  03F03 03F05 03B20
PDF BibTeX XML Cite
Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 3-26 (1992).
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
Biographic Reference
all top 3
Software