Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings /

Saved in:
Bibliographic Details
Meeting name:FCT '89 (1989 : Szeged, Hungary)
Imprint:Berlin, Heidelberg : Springer-Verlag, 1989.
Description:1 online resource : v.: digital.
Series:Lecture Notes in Computer Science, 0302-9743 ; 380
Lecture notes in computer science ; 380.
Subject:Computer science.
Computer software.
Logic design.
Combinatorial analysis.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Control Structures and Microprogramming.
Combinatorial analysis.
Computer science.
Computer software.
Logic design.
Electronic books.
Format: E-Resource Book
URL for this record:
Hidden Bibliographic Details
Other authors / contributors:Csirik, J. (János)
Demetrovics, János.
Gécseg, F.
Summary:This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical Approaches to Semantics, Computational Logic, Logic Programming, Verification, Program Transformations, Functional Programming; - Formal Languages: Rewriting Systems, Algebraic Language Theory; - Computational Complexity: Analysis and Complexity of Algorithms, Design of Efficient Algorithms, Algorithms and Data Structures, Computational Geometry, Complexity Classes and Hierarchies, Lower Bounds.