×

zbMATH — the first resource for mathematics

Found 89 Documents (Results 1–89)

100
MathJax
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 29, 17 p. (2017).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 03B44 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk; 978-1-107-41723-6/pbk; 978-1-139-00351-3/ebook). xi, 265 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 95-110 (2007).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Jena: Univ. Jena, Fakultät für Mathematik und Informatik (Dissertation). 245 p. (2006).
MSC:  68Q60 03B44 68-02
PDF BibTeX XML Cite
Urzyczyn, Paweł (ed.), Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25593-1/pbk). Lecture Notes in Computer Science 3461, 221-233 (2005).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 247-274 (2001).
PDF BibTeX XML Cite
Hannover: Univ. Hannover, Fachbereich Mathematik und Informatik (Dissertation). 94 p. (2000).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: Link
Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 469-486 (2000).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 63-77 (1999).
MSC:  03B42 03B60 68T27
PDF BibTeX XML Cite
Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 227-242 (1999).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 283-300 (1998).
MSC:  03B42 68T30
PDF BibTeX XML Cite
Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 151-168 (1997).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 65-79 (1996).
Reviewer: Reviewer (Berlin)
MSC:  03B35 03B20 03B50
PDF BibTeX XML Cite
Full Text: DOI
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 199-216 (1995).
Reviewer: M.Bunge (Genova)
MSC:  18B25 03G30 18C10 68Q55 18D05
PDF BibTeX XML Cite
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 364-375 (1994).
Reviewer: Reviewer (Berlin)
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 31-51 (1991).
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 551-563 (1991).
Reviewer: Reviewer (Berlin)
MSC:  03B45 68M15
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 341-358 (1991).
Reviewer: Reviewer (Berlin)
MSC:  68Q10 68Q85 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
all top 3
Software