×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
Hill, Patricia (ed.), Logic based program synthesis and transformation. 15th international symposium, LOPSTR 2005, London, UK, September 7–9, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-32654-0/pbk). Lecture Notes in Computer Science 3901, 133-146 (2006).
Reviewer: Reviewer (Berlin)
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Futatsugi, Kokichi (ed.) et al., Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-35462-X/pbk). Lecture Notes in Computer Science 4060, 555-577 (2006).
Reviewer: Reviewer (Berlin)
MSC:  68N17 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 255-268 (2001).
Reviewer: Reviewer (Berlin)
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification