×

zbMATH — the first resource for mathematics

Found 109 Documents (Results 1–100)

100
MathJax
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., 1203-1214 (2020).
MSC:  05E10 14N15 13P10
PDF BibTeX XML Cite
Full Text: Link
Algebra Logic 55, No. 2, 103-127 (2016); translation from Algebra Logika 55, No. 2, 156-191 (2016); erratum ibid. 55, No. 3, 256 (2016).
MSC:  03B52 03F03 68Q17
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. LIPIcs – Leibniz Int. Proc. Inform. 41, 292-307 (2015).
MSC:  03B60 03B45
PDF BibTeX XML Cite
Full Text: DOI arXiv
Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8705, 164-178 (2014).
MSC:  68N15 03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 17-32 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 213-228 (2010).
MSC:  68T27 03B25
PDF BibTeX XML Cite
Full Text: DOI
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, 191-209 (2009).
MSC:  68T15 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Giese, Martin (ed.) et al., Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence, 310-324 (2009).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Paderborn: Mentis (ISBN 978-3-89785-542-7/pbk). xii, 306 p. (2008).
PDF BibTeX XML Cite
Blackburn, Patrick (ed.) et al., Proceedings of the international workshop on hybrid logic (HyLo 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 6, 15-27 (2007).
MSC:  03B45 03B40
PDF BibTeX XML Cite
Full Text: DOI
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 153-172 (2002).
MSC:  03B47
PDF BibTeX XML Cite
Herceg, D. (ed.) et al., PRIM 2000. Proceedings of the XIV conference on applied mathematics, Palić, Yugoslavia, May 29–June 02, 2000. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 26-30 (2001).
MSC:  03B35 68T15 03B47
PDF BibTeX XML Cite
Hariharan, Ramesh (ed.) et al., FST TCS 2001: Foundations of software technology and theoretical computer science. 21st conference, Bangalore, India, December 13–15, 2001. Proceedings. Berlin: Springer (ISBN 3-540-43002-4). Lect. Notes Comput. Sci. 2245, 42-56 (2001).
PDF BibTeX XML Cite
Full Text: Link
DISKI - Dissertationen zur Künstlichen Intelligenz. 231. Amsterdam: IOS Press. Berlin: Akademische Verlags-Gesellschaft Aka/ infix. 262 p. (2000).
MSC:  68T15 68-02
PDF BibTeX XML Cite
Ganzinger, Harald (ed.) et al., Logic for programming and automated reasoning. 6th international conference, LPAR ’99, Tbilisi, Georgia, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1705, 62-76 (1999).
MSC:  03B44
PDF BibTeX XML Cite
Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 73-94 (1999).
MSC:  03B20 03F55
PDF BibTeX XML Cite
Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 135-151 (1999).
MSC:  03B55 03F05
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, 247-262 (1999).
MSC:  03B35 68T50 68T15
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, 217-231 (1999).
MSC:  03B35 68T15 03B47
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, 97-112 (1999).
MSC:  03B35 03E30 03B25
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, 202-216 (1998).
MSC:  03B35
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, 124-140 (1998).
MSC:  03B35 03B45 03B80
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, 93-107 (1998).
MSC:  03B35 03E30
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, 44-59 (1998).
PDF BibTeX XML Cite
Hanus, Michael (ed.) et al., Algebraic and logic programming. 6th international joint conference, ALP ’97 - HOA ’97, Southampton, GB, September 3–5, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1298, 256-272 (1997).
MSC:  03B35 68T15 68P15 68N17
PDF BibTeX XML Cite
Meyer auf der Heide, Friedhelm (ed.) et al., Automata, languages and programming. 23rd international colloquium, ICALP ’96, Paderborn, Germany, July 8-12, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61440-0/pbk). Lect. Notes Comput. Sci. 1099, 98-109 (1996).
MSC:  03B70 03B44 68Q60
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software