Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings /

This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.

Saved in:
Bibliographic Details
Main Authors: Reichel, Horst. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Subjects:Computer science., Computers., Algorithms., Computer logic., Mathematical logic., Combinatorics., Computer Science., Theory of Computation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Mathematical Logic and Formal Languages.,
Online Access:http://dx.doi.org/10.1007/3-540-60249-6
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.