×

zbMATH — the first resource for mathematics

Found 108 Documents (Results 1–100)

100
MathJax
Hu, Jianxun (ed.) et al., Schubert calculus and its applications in combinatorics and representation theory. Selected papers presented at the “International Festival in Schubert Calculus”, Guangzhou, China, November 6–10, 2017. Singapore: Springer. Springer Proc. Math. Stat. 332, 1-15 (2020).
MSC:  14N15 05E14
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 1039-1050 (2020).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 551-562 (2020).
MSC:  14N15 05E10
PDF BibTeX XML Cite
Full Text: Link
Student Mathematical Library 91. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4899-8/pbk; 978-1-4704-5493-7/ebook). xiii, 342 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 196-213 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Naruse, Hiroshi (ed.) et al., Schubert calculus – Osaka 2012. Proceedings of the 5th Mathematical Society of Japan-Seasonal Institute, MSJ-SI, Osaka, Japan, July 17–27, 2012. Tokyo: Mathematical Society of Japan (MSJ) (ISBN 978-4-86497-038-9/hbk). Advanced Studies in Pure Mathematics 71, 475-497 (2016).
MSC:  05E15 05E10 14N15
PDF BibTeX XML Cite
Full Text: arXiv
Proceedings of the 27th international conference on formal power series and algebraic combinatorics, FPSAC 2015, Daejeon, South Korea, July 6–10, 2015. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 37-48 (2015).
MSC:  05E10 14N15 14M15
PDF BibTeX XML Cite
Full Text: Link
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 30-44 (2013).
MSC:  03B45 03B70 03F07
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd international conference on formal power series and algebraic combinatorics, FPSAC 2011, Reykjavik, Iceland, June 13–17, 2011. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 245-256 (2011).
MSC:  05A05 05A19 05A30
PDF BibTeX XML Cite
Full Text: Link
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 159-172 (2011).
MSC:  03B45 03B35 03B70
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). 59-76 (2010).
MSC:  03B45 03B35
PDF BibTeX XML Cite
Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 3-19 (2009).
MSC:  68T15 03B35 03B45 03B62 68N18 68T27
PDF BibTeX XML Cite
Full Text: DOI
Kolleg Synchron. Heidelberg: Synchron Wissenschaftsverlag der Autoren (ISBN 978-3-935025-84-3/pbk). x, 342 p. (2009).
MSC:  68N17 03-01 68-01 68T15
PDF BibTeX XML Cite
Karpenko, A. S. (ed.), Logical investigations. 10. Including papers from the 4th international conference “Smirnov’s Readings”, Moscow, Russia, May 2003. Moskva: Nauka (ISBN 5-02-006257-X/hbk). 17-22 (2003).
MSC:  03B47 03B45 03F03
PDF BibTeX XML Cite
Cambridge Tracts in Theoretical Computer Science. 48. Cambridge: Cambridge University Press. x, 409 p. (1999).
Reviewer: U.Schöning (Ulm)
PDF BibTeX XML Cite
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 186-201 (1999).
MSC:  03B35 03B15 03B40 03F03
PDF BibTeX XML Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 230-240 (1998).
MSC:  03B45
PDF BibTeX XML Cite
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 232-246 (1998).
Reviewer: N.Zamov (Kazan’)
MSC:  03B65 03B35 68T50
PDF BibTeX XML Cite
de Swart, Harrie (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1397, 156-171 (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, 703-717 (1996).
MSC:  68T50 03B47 03B65 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 167-181 (1993).
MSC:  03B70 03B15 03B40 68Q60
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