A half-century of automata theory :: celebration and inspiration /
Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
River Edge, N.J. :
World Scientific,
©2001.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability and incompleteness results in automata theory, playing infinite games in finite time, gene assembly in ciliates, and compositions over a finite domain. This work lacks a subject index. Salomaa is affiliated with the Turku Center for Computer Science, Finland. Annotation c. Book News, Inc., Portland, OR (booknews.com). |
| Beschreibung: | 1 online resource (vii, 155 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789812810168 9812810161 1281951684 9781281951687 9786611951689 6611951687 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn646768968 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 010821s2001 njua ob 100 0 eng d | ||
| 010 | |z 2001043518 | ||
| 040 | |a E7B |b eng |e pn |c E7B |d OCLCQ |d UBY |d N$T |d IDEBK |d OCLCQ |d OCLCF |d DKDLA |d OCLCO |d OCLCQ |d OCLCO |d EBLCP |d DEBSZ |d OCLCQ |d YDXCP |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCL |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AZK |d LOA |d COCUF |d AGLDB |d MOR |d PIFAG |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d DKC |d AU@ |d OCLCQ |d M8D |d UKAHL |d OCL |d OCLCQ |d UKCRE |d VLY |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 271427429 |a 505150660 |a 764502541 |a 815754709 |a 961540104 |a 962607315 |a 968301090 |a 988442882 |a 991940110 |a 1037751457 |a 1038675315 |a 1045465896 |a 1055366731 |a 1059036076 |a 1062928426 |a 1081233212 |a 1153457486 |a 1162382752 |a 1228577732 |a 1241780329 |a 1290086162 |a 1300497038 | ||
| 020 | |a 9789812810168 |q (electronic bk.) | ||
| 020 | |a 9812810161 |q (electronic bk.) | ||
| 020 | |a 1281951684 | ||
| 020 | |a 9781281951687 | ||
| 020 | |z 9789810245900 | ||
| 020 | |z 9810245904 |q (hbk.) | ||
| 020 | |a 9786611951689 | ||
| 020 | |a 6611951687 | ||
| 035 | |a (OCoLC)646768968 |z (OCoLC)271427429 |z (OCoLC)505150660 |z (OCoLC)764502541 |z (OCoLC)815754709 |z (OCoLC)961540104 |z (OCoLC)962607315 |z (OCoLC)968301090 |z (OCoLC)988442882 |z (OCoLC)991940110 |z (OCoLC)1037751457 |z (OCoLC)1038675315 |z (OCoLC)1045465896 |z (OCoLC)1055366731 |z (OCoLC)1059036076 |z (OCoLC)1062928426 |z (OCoLC)1081233212 |z (OCoLC)1153457486 |z (OCoLC)1162382752 |z (OCoLC)1228577732 |z (OCoLC)1241780329 |z (OCoLC)1290086162 |z (OCoLC)1300497038 | ||
| 050 | 4 | |a QA267 |b .H333 2001eb | |
| 055 | 1 | 1 | |a QA267 |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a UYQM |2 bicssc | |
| 082 | 7 | |a 004 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 2 | |a A half-century of automata theory : |b celebration and inspiration / |c editors, A. Salomaa, D. Wood, S. Yu. |
| 260 | |a River Edge, N.J. : |b World Scientific, |c ©2001. | ||
| 300 | |a 1 online resource (vii, 155 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | 8 | |a Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability and incompleteness results in automata theory, playing infinite games in finite time, gene assembly in ciliates, and compositions over a finite domain. This work lacks a subject index. Salomaa is affiliated with the Turku Center for Computer Science, Finland. Annotation c. Book News, Inc., Portland, OR (booknews.com). | |
| 505 | 0 | |a Hazard algebras (extended abstract) / J. Brzozowski and Z. Esik -- Undecidability and incompleteness results in automata theory / J. Hartmanis -- Automata theory: Its past and future / J. Hopcroft -- Forty years of formal power series in automata theory / W. Kuich -- Playing infinite games in finite time / R. McNaughton -- Gene assembly in ciliates: Computing by folding and recombination / G. Rozenberg -- Compositions over a finite domain: From completeness to synchronizable automata / A. Salomaa. | |
| 546 | |a English. | ||
| 650 | 0 | |a Machine theory |v Congresses. | |
| 650 | 0 | |a Algebra |v Congresses. | |
| 650 | 6 | |a Théorie des automates |v Congrès. | |
| 650 | 6 | |a Algèbre |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Algebra |2 fast | |
| 650 | 7 | |a Machine theory |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Salomaa, Arto. | |
| 700 | 1 | |a Wood, Derick, |d 1940- |1 https://id.oclc.org/worldcat/entity/E39PBJbxGrchyYjjkxHFMGmTpP |0 http://id.loc.gov/authorities/names/n80099911 | |
| 700 | 1 | |a Yu, Sheng. | |
| 758 | |i has work: |a A half-century of automata theory (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFvgdDQWCbphD43yFMbWXd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Half-century of automata theory. |d River Edge, N.J. : World Scientific, ©2001 |w (DLC) 2001043518 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235844 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24685525 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1681248 | ||
| 938 | |a ebrary |b EBRY |n ebr10255940 | ||
| 938 | |a EBSCOhost |b EBSC |n 235844 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 195168 | ||
| 938 | |a YBP Library Services |b YANK |n 2901914 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn646768968 |
|---|---|
| _version_ | 1816881725312073728 |
| adam_text | |
| any_adam_object | |
| author2 | Salomaa, Arto Wood, Derick, 1940- Yu, Sheng |
| author2_role | |
| author2_variant | a s as d w dw s y sy |
| author_GND | http://id.loc.gov/authorities/names/n80099911 |
| author_facet | Salomaa, Arto Wood, Derick, 1940- Yu, Sheng |
| author_sort | Salomaa, Arto |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 .H333 2001eb |
| callnumber-search | QA267 .H333 2001eb |
| callnumber-sort | QA 3267 H333 42001EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Hazard algebras (extended abstract) / J. Brzozowski and Z. Esik -- Undecidability and incompleteness results in automata theory / J. Hartmanis -- Automata theory: Its past and future / J. Hopcroft -- Forty years of formal power series in automata theory / W. Kuich -- Playing infinite games in finite time / R. McNaughton -- Gene assembly in ciliates: Computing by folding and recombination / G. Rozenberg -- Compositions over a finite domain: From completeness to synchronizable automata / A. Salomaa. |
| ctrlnum | (OCoLC)646768968 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05375cam a2200865 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn646768968</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">010821s2001 njua ob 100 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2001043518</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UBY</subfield><subfield code="d">N$T</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DKDLA</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">VLY</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">271427429</subfield><subfield code="a">505150660</subfield><subfield code="a">764502541</subfield><subfield code="a">815754709</subfield><subfield code="a">961540104</subfield><subfield code="a">962607315</subfield><subfield code="a">968301090</subfield><subfield code="a">988442882</subfield><subfield code="a">991940110</subfield><subfield code="a">1037751457</subfield><subfield code="a">1038675315</subfield><subfield code="a">1045465896</subfield><subfield code="a">1055366731</subfield><subfield code="a">1059036076</subfield><subfield code="a">1062928426</subfield><subfield code="a">1081233212</subfield><subfield code="a">1153457486</subfield><subfield code="a">1162382752</subfield><subfield code="a">1228577732</subfield><subfield code="a">1241780329</subfield><subfield code="a">1290086162</subfield><subfield code="a">1300497038</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812810168</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812810161</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281951684</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281951687</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789810245900</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9810245904</subfield><subfield code="q">(hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611951689</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611951687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)646768968</subfield><subfield code="z">(OCoLC)271427429</subfield><subfield code="z">(OCoLC)505150660</subfield><subfield code="z">(OCoLC)764502541</subfield><subfield code="z">(OCoLC)815754709</subfield><subfield code="z">(OCoLC)961540104</subfield><subfield code="z">(OCoLC)962607315</subfield><subfield code="z">(OCoLC)968301090</subfield><subfield code="z">(OCoLC)988442882</subfield><subfield code="z">(OCoLC)991940110</subfield><subfield code="z">(OCoLC)1037751457</subfield><subfield code="z">(OCoLC)1038675315</subfield><subfield code="z">(OCoLC)1045465896</subfield><subfield code="z">(OCoLC)1055366731</subfield><subfield code="z">(OCoLC)1059036076</subfield><subfield code="z">(OCoLC)1062928426</subfield><subfield code="z">(OCoLC)1081233212</subfield><subfield code="z">(OCoLC)1153457486</subfield><subfield code="z">(OCoLC)1162382752</subfield><subfield code="z">(OCoLC)1228577732</subfield><subfield code="z">(OCoLC)1241780329</subfield><subfield code="z">(OCoLC)1290086162</subfield><subfield code="z">(OCoLC)1300497038</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA267</subfield><subfield code="b">.H333 2001eb</subfield></datafield><datafield tag="055" ind1="1" ind2="1"><subfield code="a">QA267</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYQM</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="2"><subfield code="a">A half-century of automata theory :</subfield><subfield code="b">celebration and inspiration /</subfield><subfield code="c">editors, A. Salomaa, D. Wood, S. Yu.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">River Edge, N.J. :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2001.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (vii, 155 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability and incompleteness results in automata theory, playing infinite games in finite time, gene assembly in ciliates, and compositions over a finite domain. This work lacks a subject index. Salomaa is affiliated with the Turku Center for Computer Science, Finland. Annotation c. Book News, Inc., Portland, OR (booknews.com).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Hazard algebras (extended abstract) / J. Brzozowski and Z. Esik -- Undecidability and incompleteness results in automata theory / J. Hartmanis -- Automata theory: Its past and future / J. Hopcroft -- Forty years of formal power series in automata theory / W. Kuich -- Playing infinite games in finite time / R. McNaughton -- Gene assembly in ciliates: Computing by folding and recombination / G. Rozenberg -- Compositions over a finite domain: From completeness to synchronizable automata / A. Salomaa.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algebra</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des automates</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Algèbre</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machine theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Salomaa, Arto.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wood, Derick,</subfield><subfield code="d">1940-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJbxGrchyYjjkxHFMGmTpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80099911</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yu, Sheng.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">A half-century of automata theory (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFvgdDQWCbphD43yFMbWXd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Half-century of automata theory.</subfield><subfield code="d">River Edge, N.J. : World Scientific, ©2001</subfield><subfield code="w">(DLC) 2001043518</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235844</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24685525</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1681248</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10255940</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">235844</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">195168</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2901914</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn646768968 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:17Z |
| institution | BVB |
| isbn | 9789812810168 9812810161 1281951684 9781281951687 9786611951689 6611951687 |
| language | English |
| oclc_num | 646768968 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (vii, 155 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | A half-century of automata theory : celebration and inspiration / editors, A. Salomaa, D. Wood, S. Yu. River Edge, N.J. : World Scientific, ©2001. 1 online resource (vii, 155 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Includes bibliographical references. Print version record. Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability and incompleteness results in automata theory, playing infinite games in finite time, gene assembly in ciliates, and compositions over a finite domain. This work lacks a subject index. Salomaa is affiliated with the Turku Center for Computer Science, Finland. Annotation c. Book News, Inc., Portland, OR (booknews.com). Hazard algebras (extended abstract) / J. Brzozowski and Z. Esik -- Undecidability and incompleteness results in automata theory / J. Hartmanis -- Automata theory: Its past and future / J. Hopcroft -- Forty years of formal power series in automata theory / W. Kuich -- Playing infinite games in finite time / R. McNaughton -- Gene assembly in ciliates: Computing by folding and recombination / G. Rozenberg -- Compositions over a finite domain: From completeness to synchronizable automata / A. Salomaa. English. Machine theory Congresses. Algebra Congresses. Théorie des automates Congrès. Algèbre Congrès. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Algebra fast Machine theory fast Conference papers and proceedings fast Salomaa, Arto. Wood, Derick, 1940- https://id.oclc.org/worldcat/entity/E39PBJbxGrchyYjjkxHFMGmTpP http://id.loc.gov/authorities/names/n80099911 Yu, Sheng. has work: A half-century of automata theory (Text) https://id.oclc.org/worldcat/entity/E39PCFvgdDQWCbphD43yFMbWXd https://id.oclc.org/worldcat/ontology/hasWork Print version: Half-century of automata theory. River Edge, N.J. : World Scientific, ©2001 (DLC) 2001043518 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235844 Volltext |
| spellingShingle | A half-century of automata theory : celebration and inspiration / Hazard algebras (extended abstract) / J. Brzozowski and Z. Esik -- Undecidability and incompleteness results in automata theory / J. Hartmanis -- Automata theory: Its past and future / J. Hopcroft -- Forty years of formal power series in automata theory / W. Kuich -- Playing infinite games in finite time / R. McNaughton -- Gene assembly in ciliates: Computing by folding and recombination / G. Rozenberg -- Compositions over a finite domain: From completeness to synchronizable automata / A. Salomaa. Machine theory Congresses. Algebra Congresses. Théorie des automates Congrès. Algèbre Congrès. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Algebra fast Machine theory fast |
| title | A half-century of automata theory : celebration and inspiration / |
| title_auth | A half-century of automata theory : celebration and inspiration / |
| title_exact_search | A half-century of automata theory : celebration and inspiration / |
| title_full | A half-century of automata theory : celebration and inspiration / editors, A. Salomaa, D. Wood, S. Yu. |
| title_fullStr | A half-century of automata theory : celebration and inspiration / editors, A. Salomaa, D. Wood, S. Yu. |
| title_full_unstemmed | A half-century of automata theory : celebration and inspiration / editors, A. Salomaa, D. Wood, S. Yu. |
| title_short | A half-century of automata theory : |
| title_sort | half century of automata theory celebration and inspiration |
| title_sub | celebration and inspiration / |
| topic | Machine theory Congresses. Algebra Congresses. Théorie des automates Congrès. Algèbre Congrès. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Algebra fast Machine theory fast |
| topic_facet | Machine theory Congresses. Algebra Congresses. Théorie des automates Congrès. Algèbre Congrès. COMPUTERS Reference. COMPUTERS Machine Theory. COMPUTERS Computer Literacy. COMPUTERS Information Technology. COMPUTERS Data Processing. COMPUTERS Computer Science. COMPUTERS Hardware General. Algebra Machine theory Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235844 |
| work_keys_str_mv | AT salomaaarto ahalfcenturyofautomatatheorycelebrationandinspiration AT woodderick ahalfcenturyofautomatatheorycelebrationandinspiration AT yusheng ahalfcenturyofautomatatheorycelebrationandinspiration AT salomaaarto halfcenturyofautomatatheorycelebrationandinspiration AT woodderick halfcenturyofautomatatheorycelebrationandinspiration AT yusheng halfcenturyofautomatatheorycelebrationandinspiration |