Automata-theoretic aspects of formal power series:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Springer
1978
|
| Series: | Texts and monographs in computer science
|
| Subjects: | |
| Physical Description: | 171 S. |
| ISBN: | 0387902821 3540902821 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021928053 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 960122s1978 |||| 00||| eng d | ||
| 020 | |a 0387902821 |9 0-387-90282-1 | ||
| 020 | |a 3540902821 |9 3-540-90282-1 | ||
| 035 | |a (OCoLC)3706786 | ||
| 035 | |a (DE-599)BVBBV021928053 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA267.5.S4 | |
| 082 | 0 | |a 629.8/91 | |
| 084 | |a QH 730 |0 (DE-625)141613: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 100 | 1 | |a Salomaa, Arto |d 1934- |e Verfasser |0 (DE-588)121031764 |4 aut | |
| 245 | 1 | 0 | |a Automata-theoretic aspects of formal power series |c Arto Salomaa ; Matti Soittola |
| 264 | 1 | |a New York [u.a.] |b Springer |c 1978 | |
| 300 | |a 171 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in computer science | |
| 650 | 4 | |a Langages formels | |
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 4 | |a Machines séquentielles, Théorie des | |
| 650 | 7 | |a Machines séquentielles, Théorie des |2 ram | |
| 650 | 7 | |a SERIE PUISSANCE |2 inriac | |
| 650 | 4 | |a Séries de puissances | |
| 650 | 7 | |a Séries de puissances |2 ram | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a machine séquentielle |2 inriac | |
| 650 | 7 | |a théorie automate |2 inriac | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Power series | |
| 650 | 4 | |a Sequential machine theory | |
| 650 | 0 | 7 | |a Potenzreihe |0 (DE-588)4138577-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sequenzielle Logik |0 (DE-588)4323079-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Potenzreihe |0 (DE-588)4204495-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Potenzreihe |0 (DE-588)4138577-9 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |D s |
| 689 | 1 | 1 | |a Sequenzielle Logik |0 (DE-588)4323079-9 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 2 | 1 | |a Potenzreihe |0 (DE-588)4138577-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Formale Potenzreihe |0 (DE-588)4204495-9 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Soittola, Matti |d 1945- |e Verfasser |0 (DE-588)135875005 |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015143210 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804135884045418496 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Salomaa, Arto 1934- Soittola, Matti 1945- |
| author_GND | (DE-588)121031764 (DE-588)135875005 |
| author_facet | Salomaa, Arto 1934- Soittola, Matti 1945- |
| author_role | aut aut |
| author_sort | Salomaa, Arto 1934- |
| author_variant | a s as m s ms |
| building | Verbundindex |
| bvnumber | BV021928053 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.5.S4 |
| callnumber-search | QA267.5.S4 |
| callnumber-sort | QA 3267.5 S4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 730 ST 130 ST 136 |
| ctrlnum | (OCoLC)3706786 (DE-599)BVBBV021928053 |
| dewey-full | 629.8/91 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8/91 |
| dewey-search | 629.8/91 |
| dewey-sort | 3629.8 291 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Wirtschaftswissenschaften Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| discipline_str_mv | Informatik Wirtschaftswissenschaften Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02882nam a2200757zc 4500</leader><controlfield tag="001">BV021928053</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960122s1978 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387902821</subfield><subfield code="9">0-387-90282-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540902821</subfield><subfield code="9">3-540-90282-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3706786</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021928053</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.5.S4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8/91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 730</subfield><subfield code="0">(DE-625)141613:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Salomaa, Arto</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121031764</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata-theoretic aspects of formal power series</subfield><subfield code="c">Arto Salomaa ; Matti Soittola</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">171 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Texts and monographs in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machines séquentielles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machines séquentielles, Théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SERIE PUISSANCE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Séries de puissances</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Séries de puissances</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine séquentielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie automate</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Power series</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequential machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Potenzreihe</subfield><subfield code="0">(DE-588)4138577-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sequenzielle Logik</subfield><subfield code="0">(DE-588)4323079-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Potenzreihe</subfield><subfield code="0">(DE-588)4204495-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Potenzreihe</subfield><subfield code="0">(DE-588)4138577-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Sequenzielle Logik</subfield><subfield code="0">(DE-588)4323079-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Potenzreihe</subfield><subfield code="0">(DE-588)4138577-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Formale Potenzreihe</subfield><subfield code="0">(DE-588)4204495-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Soittola, Matti</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135875005</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015143210</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021928053 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:06:06Z |
| indexdate | 2024-07-09T20:47:35Z |
| institution | BVB |
| isbn | 0387902821 3540902821 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015143210 |
| oclc_num | 3706786 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 171 S. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts and monographs in computer science |
| spelling | Salomaa, Arto 1934- Verfasser (DE-588)121031764 aut Automata-theoretic aspects of formal power series Arto Salomaa ; Matti Soittola New York [u.a.] Springer 1978 171 S. txt rdacontent n rdamedia nc rdacarrier Texts and monographs in computer science Langages formels Langages formels ram Machines séquentielles, Théorie des Machines séquentielles, Théorie des ram SERIE PUISSANCE inriac Séries de puissances Séries de puissances ram langage formel inriac machine séquentielle inriac théorie automate inriac Formal languages Power series Sequential machine theory Potenzreihe (DE-588)4138577-9 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Sequenzielle Logik (DE-588)4323079-9 gnd rswk-swf Formale Potenzreihe (DE-588)4204495-9 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Potenzreihe (DE-588)4138577-9 s Formale Sprache (DE-588)4017848-1 s 1\p DE-604 Automat Automatentheorie (DE-588)4831958-2 s Sequenzielle Logik (DE-588)4323079-9 s 2\p DE-604 Automatentheorie (DE-588)4003953-5 s 3\p DE-604 Formale Potenzreihe (DE-588)4204495-9 s 4\p DE-604 Soittola, Matti 1945- Verfasser (DE-588)135875005 aut 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Salomaa, Arto 1934- Soittola, Matti 1945- Automata-theoretic aspects of formal power series Langages formels Langages formels ram Machines séquentielles, Théorie des Machines séquentielles, Théorie des ram SERIE PUISSANCE inriac Séries de puissances Séries de puissances ram langage formel inriac machine séquentielle inriac théorie automate inriac Formal languages Power series Sequential machine theory Potenzreihe (DE-588)4138577-9 gnd Formale Sprache (DE-588)4017848-1 gnd Sequenzielle Logik (DE-588)4323079-9 gnd Formale Potenzreihe (DE-588)4204495-9 gnd Automat Automatentheorie (DE-588)4831958-2 gnd Automatentheorie (DE-588)4003953-5 gnd |
| subject_GND | (DE-588)4138577-9 (DE-588)4017848-1 (DE-588)4323079-9 (DE-588)4204495-9 (DE-588)4831958-2 (DE-588)4003953-5 |
| title | Automata-theoretic aspects of formal power series |
| title_auth | Automata-theoretic aspects of formal power series |
| title_exact_search | Automata-theoretic aspects of formal power series |
| title_exact_search_txtP | Automata-theoretic aspects of formal power series |
| title_full | Automata-theoretic aspects of formal power series Arto Salomaa ; Matti Soittola |
| title_fullStr | Automata-theoretic aspects of formal power series Arto Salomaa ; Matti Soittola |
| title_full_unstemmed | Automata-theoretic aspects of formal power series Arto Salomaa ; Matti Soittola |
| title_short | Automata-theoretic aspects of formal power series |
| title_sort | automata theoretic aspects of formal power series |
| topic | Langages formels Langages formels ram Machines séquentielles, Théorie des Machines séquentielles, Théorie des ram SERIE PUISSANCE inriac Séries de puissances Séries de puissances ram langage formel inriac machine séquentielle inriac théorie automate inriac Formal languages Power series Sequential machine theory Potenzreihe (DE-588)4138577-9 gnd Formale Sprache (DE-588)4017848-1 gnd Sequenzielle Logik (DE-588)4323079-9 gnd Formale Potenzreihe (DE-588)4204495-9 gnd Automat Automatentheorie (DE-588)4831958-2 gnd Automatentheorie (DE-588)4003953-5 gnd |
| topic_facet | Langages formels Machines séquentielles, Théorie des SERIE PUISSANCE Séries de puissances langage formel machine séquentielle théorie automate Formal languages Power series Sequential machine theory Potenzreihe Formale Sprache Sequenzielle Logik Formale Potenzreihe Automat Automatentheorie Automatentheorie |
| work_keys_str_mv | AT salomaaarto automatatheoreticaspectsofformalpowerseries AT soittolamatti automatatheoreticaspectsofformalpowerseries |