×

zbMATH — the first resource for mathematics

Found 185 Documents (Results 1–100)

100
MathJax
Program. Comput. Softw. 44, No. 2, 86-93 (2018); translation from Programmirovanie 44, No. 2, 18-27 (2018).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43143-7/pbk; 978-3-319-43144-4/ebook). Lecture Notes in Computer Science 9807, 20-35 (2016).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40188-1/pbk; 978-3-319-40189-8/ebook). Lecture Notes in Computer Science 9709, 164-169 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 229-254 (2016).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 397-425 (2014).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 30-44 (2014).
MSC:  68T15 90B25
PDF BibTeX XML Cite
Full Text: DOI
Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 27-46 (2013).
MSC:  68N15 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI
Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 183-198 (2009).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Koopman, Pieter (ed.) et al., Advanced functional programming. 6th international school, AFP 2008, Heijen, The Netherlands, May 2008. Revised lectures. Berlin: Springer (ISBN 978-3-642-04651-3/pbk). Lecture Notes in Computer Science 5832, 165-229 (2009).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 135-151 (2009).
MSC:  68Q55 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Corne, David Wolfe (ed.) et al., Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28–31, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-95884-0/pbk). Lecture Notes in Computer Science 5391, 374-393 (2009).
MSC:  68Q10 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Bove, Ana (ed.) et al., Language engineering and rigorous software development. International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24–March 1, 2008. Revised tutorial lectures. Berlin: Springer (ISBN 978-3-642-03152-6/pbk). Lecture Notes in Computer Science 5520, 1-56 (2009).
MSC:  68N18 03B40 68T15
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 153-168 (2009).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 191-206 (2008).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 45-63 (2008).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 693-697 (2008).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 121-137 (2008).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ramalingam, G. (ed.), Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89329-5/pbk). Lecture Notes in Computer Science 5356, 237-254 (2008).
MSC:  68N30 68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI
van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 124-148 (2003).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Dahn, Ingo (ed.) et al., Proceedings of the workshop on mathematics, logic and computation (satellite event of ICALP 2003), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 7, 125-145 (2003).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Full Text: DOI
Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 277-291 (2002).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 113-175 (2002).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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