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.
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 380
Lecture notes in computer science ; 380.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11078094
Hidden Bibliographic Details
Other authors / contributors:Csirik, J. (János)
Demetrovics, János.
Gécseg, F.
ISBN:9783540481805
354048180X
9783540514985
354048180X
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.

MARC

LEADER 00000cam a2200000Mi 4500
001 11078094
005 20170630044536.3
006 m o d
007 cr nn|008mamaa
008 100729s1989 gw o 100 0 eng d
003 ICU
040 |a KIJ  |b eng  |e pn  |c KIJ  |d OCLCO  |d GW5XE  |d OCLCF  |d ITD  |d OCLCQ 
020 |a 9783540481805  |q (electronic bk.) 
020 |a 354048180X  |q (electronic bk.) 
020 |z 9783540514985 
020 |z 354048180X 
035 |a (OCoLC)827359917 
050 4 |a QA75.5 
049 |a MAIN 
111 2 |a FCT '89  |d (1989 :  |c Szeged, Hungary)  |0 http://id.loc.gov/authorities/names/n95037118  |1 http://viaf.org/viaf/164220391 
245 1 0 |a Fundamentals of Computation Theory :  |b International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings /  |c edited by J. Csirik, J. Demetrovics, F. Gécseg. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag,  |c 1989. 
300 |a 1 online resource :  |b v.: digital. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 380 
520 |a 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. 
650 0 |a Computer science.  |0 http://id.loc.gov/authorities/subjects/sh89003285 
650 0 |a Microprogramming.  |0 http://id.loc.gov/authorities/subjects/sh85084900 
650 0 |a Computer software.  |0 http://id.loc.gov/authorities/subjects/sh85029534 
650 0 |a Logic design.  |0 http://id.loc.gov/authorities/subjects/sh85078117 
650 0 |a Combinatorial analysis.  |0 http://id.loc.gov/authorities/subjects/sh85028802 
650 1 4 |a Computer Science. 
650 2 4 |a Computation by Abstract Devices. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Control Structures and Microprogramming. 
650 7 |a Combinatorial analysis.  |2 fast  |0 (OCoLC)fst00868961 
650 7 |a Computer science.  |2 fast  |0 (OCoLC)fst00872451 
650 7 |a Computer software.  |2 fast  |0 (OCoLC)fst00872527 
650 7 |a Logic design.  |2 fast  |0 (OCoLC)fst01002045 
650 7 |a Microprogramming.  |2 fast  |0 (OCoLC)fst01020033 
655 4 |a Electronic books. 
700 1 |a Csirik, J.  |q (János)  |0 http://id.loc.gov/authorities/names/n89129235  |1 http://viaf.org/viaf/29952129 
700 1 |a Demetrovics, János.  |0 http://id.loc.gov/authorities/names/n85333241  |1 http://viaf.org/viaf/16226314 
700 1 |a Gécseg, F.  |0 http://id.loc.gov/authorities/names/n81085718  |1 http://viaf.org/viaf/108229771 
830 0 |a Lecture notes in computer science ;  |v 380.  |x 0302-9743 
856 4 0 |u http://link.springer.com/10.1007/3-540-51498-8  |y SpringerLink 
903 |a HeVa 
929 |a eresource 
999 f f |i 6b5855ed-665c-5cc7-b063-0f5801ba1e0f  |s 49603146-c6c4-5d9c-a8c7-789459290362 
928 |t Library of Congress classification  |a QA75.5  |l Online  |c UC-FullText  |u http://link.springer.com/10.1007/3-540-51498-8  |z SpringerLink  |g ebooks  |i 9888291