×

zbMATH — the first resource for mathematics

Found 141 Documents (Results 1–100)

100
MathJax
Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 497-522 (2019).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 160-187 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018).
MSC:  68Q42 03B40 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 95, 13 p. (2017).
MSC:  68Q45 68Q25 68Q42
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, 405-422 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 241-256 (2015).
MSC:  68Q42 05B15 13P10
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 57-73 (2015).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 40-56 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8858, 39-57 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 233-244 (2013).
MSC:  68W32 68P30 68W40
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 324-335 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 149-164 (2012).
MSC:  68Q42 68P30 68Q25
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, 143-157 (2013).
MSC:  68Q42 68Q25 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 63-74 (2008).
MSC:  68N18 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 156-167 (2005).
MSC:  68N30 68N18 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 169-178 (2003).
MSC:  68Q25 03B25 03B35
PDF BibTeX XML Cite
Full Text: DOI
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 1009-1062 (2001).
Reviewer: N.Zamov (Kazan)
MSC:  03B35 68T15 03B40 03B25 68Q42 03B15 03-02 68-02 03E99
PDF BibTeX XML Cite
Altenkirch, Thorsten (ed.) et al., Types for proofs and programs. International workshop, TYPES ’98. Kloster Irsee, Germany, March 27-31, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1657, 179-193 (1999).
MSC:  03B35 03B40 68T15
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, 241-252 (1998).
MSC:  03B65 03F03
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, 157-176 (1998).
PDF BibTeX XML Cite
Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC ’98, Plattsburgh, NY, USA, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1476, 195-208 (1998).
MSC:  03D03 03D40 68Q42
PDF BibTeX XML Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 181-195 (1998).
PDF BibTeX XML Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 91-105 (1998).
PDF BibTeX XML Cite
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 261-274 (1996).
MSC:  68T15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 246-260 (1996).
MSC:  68T15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Chuvakov, V. P. (ed.), Current problems of modern mathematics. Collection of scientific works. Vol. 2. Novosibirsk: NII MIOO NGU, 87-94 (1996).
MSC:  03D15 68Q25 03D05
PDF BibTeX XML Cite
Oxford: Clarendon Press. xv, 511 p. £55.00 /hc (1994).
PDF BibTeX XML Cite
RIMS Kokyuroku, 695. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. iv, 282 p. (1989).
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