TY - BOOK ID - 1285333 TI - Fundamentals of computation theory : international conference FCT'89 : Szeged, Hungary, august 1989 : proceedings AU - Csirik, J. AU - Demetrovics, János AU - Gécseg, F. AU - International conference on fundamentals of computation theory : PY - 1989 VL - vol 380 SN - 3540514988 0387514988 354048180X PB - Berlin : Springer-Verlag, DB - UniCat KW - Computer science KW - 681.3*D24 KW - 681.3*E5 KW - 681.3*F12 KW - 681.3*I2 KW - Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - Files: backup/recovery; optimization; organization/structure; sorting/searching (Data) KW - Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation KW - Artificial intelligence. AI KW - 681.3*E5 Files: backup/recovery; optimization; organization/structure; sorting/searching (Data) KW - 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - 681.3*I2 Artificial intelligence. AI KW - 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation KW - Computer science. KW - Computer software. KW - Logic design. KW - Microprogramming. KW - Combinatorics. KW - Computation by Abstract Devices. KW - Algorithm Analysis and Problem Complexity. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Control Structures and Microprogramming. KW - Combinatorics KW - Algebra KW - Mathematical analysis KW - Computer programming KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Software, Computer KW - Computer systems KW - Informatics KW - Science KW - Informatique UR - https://www.unicat.be/uniCat?func=search&query=sysid:1285333 AB - 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. ER -