×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 642-656 (2001).
MSC:  68N15 68N18 68N19
BibTeX Cite
Full Text: Link
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, 53-70 (2001).
MSC:  68U99 68N18 68N15
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software