Handbook of theoretical computer science /
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Saved in:
Corporate Authors: | |
---|---|
Group Author: | |
Published: |
Elsevier ; MIT Press,
|
Publisher Address: | Amsterdam ; New York : Cambridge, Mass. : |
Publication Dates: | 1990. |
Literature type: | eBook |
Language: | English |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/book/9780444880741 |
Summary: |
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing. |
Carrier Form: | 1 online resource (2 volumes) : illustrations |
Bibliography: | Includes bibliographical references and indexes. |
ISBN: |
0444880747 9780444880741 0444880712 9780444880710 9781322555072 1322555079 |
Index Number: | QA76 |
CLC: | TP3 |
Contents: |
v. A. Algorithms and complexity: Machine models and simulations / P. van Emde Boas. A catalog of complexity classes / D.S. Johnson. Machine-independent complexity theory / J.I. Seiferas. Kolmogorov complexity and its applications / M. Li and P.M.B. Vita nyi. Algorithms for finding patterns in strings / A.V. Aho. Data structures / K. Mehlhorn and A. Tsakalidis. Computational geometry / F.F. Yao. Algorithmic motion planning in robotics / J.T. Schwartz and M. Sharir. Average-case analysis of algorithms and data structures / J.S. Vitter and Ph. Flajolet. Graph algorithms / J. van Leeuwen. Algebr Parallel algorithms for shared-memory machines / R.M. Karp and V. Ramachandran. General purpose parallel architectures / L.G. Valiant -- v. B. Formal models and semantics: Finite automata / D. Perrin. Context-free languages / J. Berstel and L. Boasson. Formal languages and power series / A. Salomaa. Automata on infinite objects / W. Thomas. Graph rewriting : an algebraic and logic approach / B. Courcelle. Rewrite systems / N. Dershowitz and J.-P. Jounnaud. Functional programming and lambda calculus / H.P. Barendregt. Type systems for programming languages / J.C. Mitchell. Recursive applicati Methods and logics for proving programs / P. Cousot. Temporal and modal logic / E.A. Emerson. Elements of relational database theory / P.C. Kanellakis. Distributed computing : models and methods / L. Lamport and N. Lynch. Operational and algebraic semantics of concurrent processes / R. Milner. |