zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 162-171 (2010).
MSC:  03D32
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication