# zbMATH — the first resource for mathematics

## Found 11 Documents (Results 1–11)

100
MathJax
Newest 1st
MSC:  68Q60 03B38 03B70
Full Text:
MSC:  68N18 68N20
Full Text:
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
Full Text:
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).
Full Text:
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
Full Text:
MSC:  68N15 68N18
Full Text:
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
Full Text:
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
Full Text:
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
Full Text:
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
Full Text:
Mohnen, Markus (ed.) et al., Implementation of functional languages. 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2011, 1-18 (2001).
MSC:  68U99
Full Text:

all top 5
all top 3