Physical description 
1 online resource : v.: digital. 
Series 
Lecture Notes in Computer Science, 03029743 ; 380


Lecture notes in computer science ; 380. 03029743


Springer Lecture Notes in Computer Science

Summary 
This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 2125, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in PoznanKornik, 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. 
Other author 
Csirik, J. (János)


Demetrovics, János.


Gécseg, F.


SpringerLink issuing body.

Subject 
Computer science.


Microprogramming.


Computer software.


Logic design.


Combinatorial analysis.


Electronic books. 
ISBN 
9783540481805 

354048180X 

9783540514985 

354048180X 
