×

zbMATH — the first resource for mathematics

Found 277 Documents (Results 1–100)

100
MathJax
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 297-312 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 76-88 (2016).
MSC:  68Q45 03D05
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, 244-259 (2015).
MSC:  68Q45 03C15 03D05
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 1-16 (2015).
MSC:  03F05 03D05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Automata, languages, and programming. 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8573, 146-157 (2014).
PDF BibTeX XML Cite
Full Text: DOI
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, 181-196 (2013).
MSC:  68Q05 03D05 91A05 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 1-49 (2013).
MSC:  03A05 03B15 03B30 03B35 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
van Emde Boas, Peter (ed.) et al., SOFSEM 2013: theory and practice of computer science. 39th international conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 26–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35842-5/pbk). Lecture Notes in Computer Science 7741, 307-318 (2013).
MSC:  68Q45 03D05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Chatterjee, Krishnendu (ed.) et al., Mathematical foundations of computer science 2013. 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40312-5/pbk). Lecture Notes in Computer Science 8087, 146-158 (2013).
MSC:  68P05 03D05 68Q42
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, 336-348 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 86-102 (2012).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 495-527 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 320-334, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 211-226 (2012).
MSC:  68T30 06A15 68T05
PDF BibTeX XML Cite
Full Text: DOI
Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 469-480, electronic only (2011).
MSC:  68Q45 03D05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 264-272 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 54-65 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Discrete Math. Appl. 20, No. 3, 337-355 (2010); translation from Diskretn. Mat. 22, No. 2, 80-95 (2010).
MSC:  03D05 03D03
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-283-696-0/hbk; 978-981-283-697-7/pbk). xvii, 274 p. (2010).
PDF BibTeX XML Cite
Sequences close to periodic. (English. Russian original) Zbl 1208.03017
Russ. Math. Surv. 64, No. 5, 805-871 (2009); translation from Usp. Mat. Nauk 64, No. 5, 21-96 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 185-199 (2009).
MSC:  68Q45 03D05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 251-260 (2008).
PDF BibTeX XML Cite
Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 29-52 (2008).
MSC:  93C65 03D05 93B50
PDF BibTeX XML Cite
Scholl, Christopf (ed.) et al., Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Ausgewählte Beiträge vom 11. GI/ITG/GMM-Workshop, Freiburg im Breisgau, 3.–5. März 2008. Aachen: Shaker Verlag (ISBN 978-3-8322-6962-3/pbk). Berichte aus der Informatik, 119-128 (2008).
MSC:  68Q60 03B44 03D05
PDF BibTeX XML Cite
Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 291-305 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 97-111 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 148-161 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 265-276 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 557-571 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 292-303 (2006).
MSC:  68Q45 03D05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1450-1461 (2005).
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 71, No. 2, 303-306 (2005); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 401, No. 1, 30-33 (2005).
PDF BibTeX XML Cite
Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 210-232 (2004).
MSC:  68Q42 03B65 03D05
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 81-93 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Calude, Cristian S. (ed.) et al., Developments in language theory. 8th international conference, DLT 2004, Auckland, New Zealand, December 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24014-4/pbk). Lecture Notes in Computer Science 3340, 345-356 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Warnow, Tandy (ed.) et al., Computing and combinatorics. 9th annual international conference, COCOON 2003, Big Sky, MT, USA, July 25–28, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40534-8/pbk). Lecture Notes in Computer Science 2697, 159-171 (2003).
MSC:  68Q45 03D05 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Del Lungo, Alberto (ed.) et al., 9th international workshop on combinatorial image analysis. Papers from the workshop, Palermo, Italy, May 14–16, 2003. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 12, 106-117 (2003).
MSC:  68Q42 03D05
PDF BibTeX XML Cite
Full Text: DOI
Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 127-147 (2003).
MSC:  03B44 03D05
PDF BibTeX XML Cite

Filter Results by …

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