zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Jeffrey, Alan (ed.), HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 41, No. 3, 1-19 (2001).
MSC:  68Q55 68N18
BibTeX Cite
Full Text: DOI
Taha, Walid (ed.), Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41054-6). Lect. Notes Comput. Sci. 1924, 51-71 (2000).
MSC:  68N01 68N30
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication