zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Ong, Luke (ed.), Computer science logic. 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22--25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28231-9/pbk). Lecture Notes in Computer Science 3634, 325-338 (2005).
MSC:  68R10 03B15 05C70
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication