×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Löwe, Benedikt (ed.) et al., Proceedings of the 8th international workshop on developments in computational models, DCM’12, Cambridge, United Kingdom, June 17, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 143, 67-75 (2014).
MSC:  03D45 54E35 68Q30
PDF BibTeX XML Cite
Full Text: Link
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 388-397 (2006).
MSC:  68Q15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
all top 3
Classification