Descriptional complexity of formal systems:
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | , , |
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Amsterdam
Elsevier
11 January 2016
|
Schriftenreihe: | Theoretical computer science
volume 610, part A |
Schlagworte: | |
Beschreibung: | Aus dem Vorwort: "The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland". - Erscheinungsjahr 2016 |
Beschreibung: | 132 Seiten Diagramme |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV043430847 | ||
003 | DE-604 | ||
005 | 20160309 | ||
007 | t | ||
008 | 160304s2016 |||| |||| 10||| eng d | ||
035 | |a (OCoLC)959699373 | ||
035 | |a (DE-599)BVBBV043430847 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-384 | ||
111 | 2 | |a DCFS |n 16. |d 2014 |c Turku |j Verfasser |0 (DE-588)1056026103 |4 aut | |
245 | 1 | 0 | |a Descriptional complexity of formal systems |c guest editors: Alexander Okhotin, Helmut Jürgensen, Juhani Karhumäki |
246 | 1 | 3 | |a The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland |
264 | 1 | |a Amsterdam |b Elsevier |c 11 January 2016 | |
264 | 4 | |c © 2015 | |
300 | |a 132 Seiten |b Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Theoretical computer science |v volume 610, part A | |
500 | |a Aus dem Vorwort: "The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland". - Erscheinungsjahr 2016 | ||
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
700 | 1 | |a Okhotin, Alexander |4 edt | |
700 | 1 | |a Jürgensen, Helmut |d 1942- |0 (DE-588)121130584 |4 edt | |
700 | 1 | |a Karhumäki, Juhani |d 1949- |0 (DE-588)121031675 |4 edt | |
830 | 0 | |a Theoretical computer science |v volume 610, part A |w (DE-604)BV002537849 |9 610,A | |
999 | |a oai:aleph.bib-bvb.de:BVB01-028848585 |
Datensatz im Suchindex
_version_ | 1804176029558767616 |
---|---|
any_adam_object | |
author2 | Okhotin, Alexander Jürgensen, Helmut 1942- Karhumäki, Juhani 1949- |
author2_role | edt edt edt |
author2_variant | a o ao h j hj j k jk |
author_GND | (DE-588)121130584 (DE-588)121031675 |
author_corporate | DCFS Turku |
author_corporate_role | aut |
author_facet | Okhotin, Alexander Jürgensen, Helmut 1942- Karhumäki, Juhani 1949- DCFS Turku |
author_sort | DCFS Turku |
building | Verbundindex |
bvnumber | BV043430847 |
ctrlnum | (OCoLC)959699373 (DE-599)BVBBV043430847 |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01451nam a2200349 cb4500</leader><controlfield tag="001">BV043430847</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160309 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160304s2016 |||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)959699373</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043430847</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">DCFS</subfield><subfield code="n">16.</subfield><subfield code="d">2014</subfield><subfield code="c">Turku</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1056026103</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Descriptional complexity of formal systems</subfield><subfield code="c">guest editors: Alexander Okhotin, Helmut Jürgensen, Juhani Karhumäki</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">11 January 2016</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">132 Seiten</subfield><subfield code="b">Diagramme</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="1" ind2=" "><subfield code="a">Theoretical computer science</subfield><subfield code="v">volume 610, part A</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Aus dem Vorwort: "The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland". - Erscheinungsjahr 2016</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Okhotin, Alexander</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jürgensen, Helmut</subfield><subfield code="d">1942-</subfield><subfield code="0">(DE-588)121130584</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Karhumäki, Juhani</subfield><subfield code="d">1949-</subfield><subfield code="0">(DE-588)121031675</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Theoretical computer science</subfield><subfield code="v">volume 610, part A</subfield><subfield code="w">(DE-604)BV002537849</subfield><subfield code="9">610,A</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028848585</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV043430847 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:25:41Z |
institution | BVB |
institution_GND | (DE-588)1056026103 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028848585 |
oclc_num | 959699373 |
open_access_boolean | |
owner | DE-384 |
owner_facet | DE-384 |
physical | 132 Seiten Diagramme |
publishDate | 2016 |
publishDateSearch | 2016 |
publishDateSort | 2016 |
publisher | Elsevier |
record_format | marc |
series | Theoretical computer science |
series2 | Theoretical computer science |
spelling | DCFS 16. 2014 Turku Verfasser (DE-588)1056026103 aut Descriptional complexity of formal systems guest editors: Alexander Okhotin, Helmut Jürgensen, Juhani Karhumäki The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland Amsterdam Elsevier 11 January 2016 © 2015 132 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Theoretical computer science volume 610, part A Aus dem Vorwort: "The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland". - Erscheinungsjahr 2016 (DE-588)1071861417 Konferenzschrift gnd-content Okhotin, Alexander edt Jürgensen, Helmut 1942- (DE-588)121130584 edt Karhumäki, Juhani 1949- (DE-588)121031675 edt Theoretical computer science volume 610, part A (DE-604)BV002537849 610,A |
spellingShingle | Descriptional complexity of formal systems Theoretical computer science |
subject_GND | (DE-588)1071861417 |
title | Descriptional complexity of formal systems |
title_alt | The workshop on Descriptional Complexity of Formal Systems (DCFS 2014) was held in Turku, Finland |
title_auth | Descriptional complexity of formal systems |
title_exact_search | Descriptional complexity of formal systems |
title_full | Descriptional complexity of formal systems guest editors: Alexander Okhotin, Helmut Jürgensen, Juhani Karhumäki |
title_fullStr | Descriptional complexity of formal systems guest editors: Alexander Okhotin, Helmut Jürgensen, Juhani Karhumäki |
title_full_unstemmed | Descriptional complexity of formal systems guest editors: Alexander Okhotin, Helmut Jürgensen, Juhani Karhumäki |
title_short | Descriptional complexity of formal systems |
title_sort | descriptional complexity of formal systems |
topic_facet | Konferenzschrift |
volume_link | (DE-604)BV002537849 |
work_keys_str_mv | AT dcfsturku descriptionalcomplexityofformalsystems AT okhotinalexander descriptionalcomplexityofformalsystems AT jurgensenhelmut descriptionalcomplexityofformalsystems AT karhumakijuhani descriptionalcomplexityofformalsystems AT dcfsturku theworkshopondescriptionalcomplexityofformalsystemsdcfs2014washeldinturkufinland AT okhotinalexander theworkshopondescriptionalcomplexityofformalsystemsdcfs2014washeldinturkufinland AT jurgensenhelmut theworkshopondescriptionalcomplexityofformalsystemsdcfs2014washeldinturkufinland AT karhumakijuhani theworkshopondescriptionalcomplexityofformalsystemsdcfs2014washeldinturkufinland |