The Role of Theory in Computer Science

DOI10.1142/10239MaRDI QIDQ2985094zbMATH OpenOpenAlexFDO

Authors

Publication date 16 May 2017

Full work available at URL https://doi.org/10.1142/10239

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Festschriften (00B30) History of computer science (68-03) Theory of computing (68Qxx)

Recommendations

• Computer science in perspective. Essays dedicated to Thomas Ottmann
• On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer
• Theoretic computer science. An introduction
• Mathematical Foundations of Computer Science 2004
• In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman
• Formal and natural computing. Essays dedicated to Grzegorz Rozenberg
• Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday

Cited in

(1)

• Non-intersectivity of paperfolding dragon curves and of curves generated by automatic sequences

This page was built for publication: The Role of Theory in Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985094)