×

zbMATH — the first resource for mathematics

Found 129 Documents (Results 1–100)

100
MathJax
Proceedings of the 5th conference on innovations in theoretical computer science, ITCS’14, Princeton, NJ, USA, January 11–14, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2243-0). 261-268 (2014).
Reviewer: Reviewer (Berlin)
MSC:  68Q15 20D06 68Q05 94A60
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 42-53 (2013).
Reviewer: Reviewer (Berlin)
MSC:  68Q42 68Q05 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Gudmundsson, Joachim (ed.) et al., Computing and combinatorics. 18th annual international conference, COCOON 2012, Sydney, Australia, August 20–22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32240-2/pbk). Lecture Notes in Computer Science 7434, 408-419 (2012).
Reviewer: Reviewer (Berlin)
MSC:  68Q17 68Q05 68Q15 94C10
PDF BibTeX XML Cite
Full Text: DOI
Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 77-94 (2011).
Reviewer: Reviewer (Berlin)
MSC:  68Q05 68Q15 68Q25 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 240-254 (2007).
Reviewer: Reviewer (Berlin)
MSC:  03B40 03D10 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 125-136 (2005).
Reviewer: Reviewer (Berlin)
MSC:  68Q05 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Software