×

zbMATH — the first resource for mathematics

Found 31 Documents (Results 1–31)

100
MathJax
Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 227-243 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 8901. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). xii, 237 p. (2014).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 8552. Cham: Springer (ISBN 978-3-319-12465-0/pbk; 978-3-319-12466-7/ebook). ix, 161 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7829. Berlin: Springer (ISBN 978-3-642-40446-7/pbk). x, 311 p. (2013).
MSC:  68-06 68N18 00B25
PDF BibTeX XML Cite
Full Text: DOI
Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 36-53 (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7193. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). x, 195 p. (2012).
MSC:  68-06 68N18 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012).
PDF BibTeX XML Cite
van Eekelen, Marko (ed.) et al., Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). Lecture Notes in Computer Science 6324, 34-50 (2010).
MSC:  68N30 68N15 68N18
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, 167-182 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Electronic Notes in Theoretical Computer Science 258, No. 1. Amsterdam: Elsevier. 121 p., electronic only (2009).
MSC:  68-06 68N15 00B25
PDF BibTeX XML Cite
Full Text: Link
Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 196-211 (2009).
MSC:  68N20 68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 135-151 (2009).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 135-151 (2004).
MSC:  68N15 68N18 68W30
PDF BibTeX XML Cite
Full Text: DOI
Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 69-85 (2004).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 3145. Berlin: Springer (ISBN 3-540-23727-5/pbk). ix, 185 p. (2004).
MSC:  68-06 68N18 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 2670. Berlin: Springer (ISBN 3-540-40190-3/pbk). x, 249 p. (2003).
MSC:  68-06 00B25 68N18
PDF BibTeX XML Cite
Full Text: Link
Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 143-164 (2002).
MSC:  68N18 68M20
PDF BibTeX XML Cite
Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 121-137 (2002).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: Link
Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 88-104 (2002).
MSC:  68N18 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: Link
Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 1-17 (2002).
MSC:  68N18 68N15
PDF BibTeX XML Cite
Full Text: Link
Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 627-641 (2001).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: Link
Wexelblat, Richard L. (ed.), Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP ’96, Philadelphia, PA, USA, May 24–26, 1996. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-770-7). ACM SIGPLAN Notices 31, No. 6, 110-121 (1996).
MSC:  68N18 68Q55 68Q65
PDF BibTeX XML Cite
Full Text: DOI