Abstract
This chapter introduces the book “ Topics in The Theory of Computation .” It contains nine selected papers presented at the International Conference on “Foundation of Computation Theory” held at Borgholm, Sweden in August 21–27 in 1983. The main areas of “Foundations of Computation Theory” covered by the Conference and in part represented in book fall into eight categories—Constructive Mathematics in Models of Computation and Programming; Abstract Calculi and Denotational Semantics; Theory of Machines, Computations, and Languages; Nondeterminism, Concurrency, and Distributed Computing; Abstract Algebras, Logics, and Combinatorics in Computation Theory; General Computability and Decidability; Computational and Arithmetic Complexity; and Analysis of Algorithms and Feasible Computing.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
