<span>Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer sc
Theoretical computer science
โ Scribed by European Association for Theoretical Computer Science
- Publisher
- North-Holland Pub. Co
- Year
- 1975
- Tongue
- English
- Leaves
- 10
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
<p>R.E. Miller: Parallel program schemata.- D.E. Muller: Theory of automata.- R. Karp: Computational complexity of combinatorial and graph-theoretic problems.</p>
<p>R.E. Miller: Parallel program schemata.- D.E. Muller: Theory of automata.- R. Karp: Computational complexity of combinatorial and graph-theoretic problems.</p>
Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. Th