Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9118 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XII, 293 p. 48 illus) |
| ISBN: | 9783319192253 9783319192246 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-19225-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042669499 | ||
| 003 | DE-604 | ||
| 005 | 20170420 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150703s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319192253 |c Online |9 978-3-319-19225-3 | ||
| 020 | |a 9783319192246 |c Print |9 978-3-319-19224-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-19225-3 |2 doi | |
| 035 | |a (OCoLC)913001820 | ||
| 035 | |a (DE-599)BVBBV042669499 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Descriptional Complexity of Formal Systems |b 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings |c edited by Jeffrey Shallit, Alexander Okhotin |
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XII, 293 p. 48 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9118 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Beschreibungskomplexität |0 (DE-588)4797485-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 25.01.2015-27.01.2015 |z Waterloo, Ont. |2 gnd-content | |
| 689 | 0 | 0 | |a Beschreibungskomplexität |0 (DE-588)4797485-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Shallit, Jeffrey O. |d 1957- |e Sonstige |0 (DE-588)128576502 |4 oth | |
| 711 | 2 | |a DCFS |n 17. |d 2015 |c Waterloo, Ontario |j Sonstige |0 (DE-588)1072178443 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9118 |w (DE-604)BV014880109 |9 9118 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-19225-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028101582 | ||
Datensatz im Suchindex
| _version_ | 1804174858983047168 |
|---|---|
| adam_text | DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED TALKS
REGULAR FUNCTIONS
UNAMBIGUITY IN AUTOMATA THEORY
CONTRIBUTED PAPERS
PARTIAL DERIVATIVE AUTOMATON FOR REGULAR EXPRESSIONS WITH SHUE
UPPER BOUND ON SYNTACTIC COMPLEXITY OF SUFFIX-FREE LANGUAGES
NONDETERMINISTIC TREE WIDTH OF REGULAR LANGUAGES
INTEGER COMPLEXITY: EXPERIMENTAL AND ANALYTICAL RESULTS II
SQUARE ON IDEAL, CLOSED AND FREE LANGUAGES
A TENTATIVE APPROACH FOR THE WADGE-WAGNER HIERARCHY OF REGULAR TREE
LANGUAGES OF INDEX [0,2]
COMPRESSIBILITY OF FINITE LANGUAGES BY GRAMMARS
ON THE COMPLEXITY AND DECIDABILITY OF SOME PROBLEMS INVOLVING SHUE
ON THE COMPUTATIONAL COMPLEXITY OF PROBLEMS RELATED TO
DISTINGUISHABILITY SETS
PREFIX-FREE SUBSETS OF REGULAR LANGUAGES AND DESCRIPTIONAL COMPLEXITY
TRANSDUCER DESCRIPTIONS OF DNA CODE PROPERTIES AND UNDECIDABILITY OF
ANTIMORPHIC PROBLEMS
ON SIMULATION COSTS OF UNARY LIMITED AUTOMATA
ON SOME DECISION PROBLEMS FOR STATELESS DETERMINISTIC ORDERED RESTARTING
AUTOMATA
QUANTUM QUERIES ON PERMUTATIONS
COMPLEMENT ON FREE AND IDEAL LANGUAGES
UNIVERSAL DISJUNCTIVE CONCATENATION AND STAR
QUASI-DISTANCES AND WEIGHTED FINITE AUTOMATA
THE STATE COMPLEXITY OF PERMUTATIONS ON FINITE LANGUAGES OVER BINARY
ALPHABETS
STAR-COMPLEMENT-STAR ON PREFIX-FREE LANGUAGES
GROUPS WHOSE WORD PROBLEM IS A PETRI NET LANGUAGE
REGULAR REALIZABILITY PROBLEMS AND CONTEXT-FREE LANGUAGES
GENERALIZATION OF THE DOUBLE-REVERSAL METHOD OF FINDING A CANONICAL
RESIDUAL FINITE STATE AUTOMATON
QUANTUM STATE COMPLEXITY OF FORMAL LANGUAGES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 17TH INTERNATIONAL
CONFERENCE ON DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2015,
HELD IN WATERLOO, ON, CANADA, IN JUNE 2015. THE 23 FULL PAPERS
PRESENTED TOGETHER WITH 2 INVITED TALKS WERE CAREFULLY REVIEWED AND
SELECTED FROM 29 SUBMISSIONS. THE SUBJECT OF THE WORKSHOP WAS
DESCRIPTIONAL COMPLEXITY. ROUGHLY SPEAKING, THIS FIELD IS CONCERNED
WITH THE SIZE OF OBJECTS IN VARIOUS MATHEMATICAL MODELS OF COMPUTATION,
SUCH AS FINITE AUTOMATA, PUSHDOWN AUTOMATA, AND TURING MACHINES.
DESCRIPTIONAL COMPLEXITY SERVES AS A THEORETICAL REPRESENTATION OF
PHYSICAL REALIZATIONS, SUCH AS THE ENGINEERING COMPLEXITY OF COMPUTER
SOFTWARE AND HARDWARE. IT ALSO MODELS SIMILAR COMPLEXITY PHENOMENA IN
OTHER AREAS OF COMPUTER SCIENCE, INCLUDING UNCONVENTIONAL COMPUTING AND
BIOINFORMATICS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)128576502 |
| building | Verbundindex |
| bvnumber | BV042669499 |
| classification_tum | DAT 000 DAT 550f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)913001820 (DE-599)BVBBV042669499 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-19225-3 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02900nmm a2200613zcb4500</leader><controlfield tag="001">BV042669499</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170420 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150703s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319192253</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-19225-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319192246</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-19224-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-19225-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)913001820</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042669499</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Descriptional Complexity of Formal Systems</subfield><subfield code="b">17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings</subfield><subfield code="c">edited by Jeffrey Shallit, Alexander Okhotin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 293 p. 48 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9118</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">25.01.2015-27.01.2015</subfield><subfield code="z">Waterloo, Ont.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shallit, Jeffrey O.</subfield><subfield code="d">1957-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128576502</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DCFS</subfield><subfield code="n">17.</subfield><subfield code="d">2015</subfield><subfield code="c">Waterloo, Ontario</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1072178443</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9118</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9118</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-19225-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028101582</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 25.01.2015-27.01.2015 Waterloo, Ont. gnd-content |
| genre_facet | Konferenzschrift 25.01.2015-27.01.2015 Waterloo, Ont. |
| id | DE-604.BV042669499 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:07:05Z |
| institution | BVB |
| institution_GND | (DE-588)1072178443 |
| isbn | 9783319192253 9783319192246 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028101582 |
| oclc_num | 913001820 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 293 p. 48 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings edited by Jeffrey Shallit, Alexander Okhotin Cham Springer 2015 1 Online-Ressource (XII, 293 p. 48 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9118 0302-9743 Computer science Computer software Logic design Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Beschreibungskomplexität (DE-588)4797485-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 25.01.2015-27.01.2015 Waterloo, Ont. gnd-content Beschreibungskomplexität (DE-588)4797485-0 s DE-604 Shallit, Jeffrey O. 1957- Sonstige (DE-588)128576502 oth DCFS 17. 2015 Waterloo, Ontario Sonstige (DE-588)1072178443 oth Lecture Notes in Computer Science 9118 (DE-604)BV014880109 9118 https://doi.org/10.1007/978-3-319-19225-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings Lecture Notes in Computer Science Computer science Computer software Logic design Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Beschreibungskomplexität (DE-588)4797485-0 gnd |
| subject_GND | (DE-588)4797485-0 (DE-588)1071861417 |
| title | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings |
| title_auth | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings |
| title_exact_search | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings |
| title_full | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings edited by Jeffrey Shallit, Alexander Okhotin |
| title_fullStr | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings edited by Jeffrey Shallit, Alexander Okhotin |
| title_full_unstemmed | Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings edited by Jeffrey Shallit, Alexander Okhotin |
| title_short | Descriptional Complexity of Formal Systems |
| title_sort | descriptional complexity of formal systems 17th international workshop dcfs 2015 waterloo on canada june 25 27 2015 proceedings |
| title_sub | 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings |
| topic | Computer science Computer software Logic design Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Beschreibungskomplexität (DE-588)4797485-0 gnd |
| topic_facet | Computer science Computer software Logic design Computational complexity Computer Science Computation by Abstract Devices Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Informatik Beschreibungskomplexität Konferenzschrift 25.01.2015-27.01.2015 Waterloo, Ont. |
| url | https://doi.org/10.1007/978-3-319-19225-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101582&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT shallitjeffreyo descriptionalcomplexityofformalsystems17thinternationalworkshopdcfs2015waterloooncanadajune25272015proceedings AT dcfswaterlooontario descriptionalcomplexityofformalsystems17thinternationalworkshopdcfs2015waterloooncanadajune25272015proceedings |