Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings /
Saved in:
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 |
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 |