Mathematical foundations of computer science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture Notes in Computer Science
6281 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XVII, 714 S. graph. Darst. |
| ISBN: | 9783642151545 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036618141 | ||
| 003 | DE-604 | ||
| 005 | 20101027 | ||
| 007 | t| | ||
| 008 | 100817s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N29 |2 dnb | ||
| 016 | 7 | |a 1004409613 |2 DE-101 | |
| 020 | |a 9783642151545 |c Book. : ca. EUR 93.09 (freier Pr.), ca. sfr 135.00 (freier Pr.) |9 978-3-642-15154-5 | ||
| 024 | 3 | |a 9783642151545 | |
| 028 | 5 | 2 | |a 80020276 |
| 035 | |a (OCoLC)699944473 | ||
| 035 | |a (DE-599)DNB1004409613 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Mathematical foundations of computer science 2010 |b 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings |c Petr Hlineny ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XVII, 714 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6281 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Brünn |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hliněný, Petr |e Sonstige |4 oth | |
| 711 | 2 | |a MFCS |n 35 |d 2010 |c Brünn |j Sonstige |0 (DE-588)16077955-8 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6281 |w (DE-604)BV000000607 |9 6281 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3513906&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020538225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020538225 | |
Record in the Search Index
| _version_ | 1820875256879906816 |
|---|---|
| adam_text |
TABLE OF CONTENTS NEW DEVELOPMENTS IN QUANTUM ALGORITHMS (INVITED TALK)
1 ANDRIS AMBAINIS PERSISTENT HOMOLOGY UNDER NON-UNIFORM ERROR (INVITED
TALK) 12 PAUL BENDICH, HERBERT EDELSBRUNNER, MICHAEL KERBER, AND AVAIL
PALEI INFORMATION COMPLEXITY OF ONLINE PROBLEMS (INVITED TALK) 24 JURAJ
HROMKOVIC, RASTISLAV KRALOVIC, AND RICHARD KRALOVIC ALGORITHMIC LOWER
BOUNDS FOR PROBLEMS ON DECOMPOSABLE GRAPHS (ABSTRACT OF INVITED TALK) 37
DANIEL LOKSHTANOV DO WE REALLY UNDERSTAND THE CROSSING NUMBERS? (INVITED
TALK) 38 BOJAN MOHAR BALANCED QUERIES: DIVIDE AND CONQUER 42 DMITRI
AKATOV AND GEORG GOTTLOB SLOWLY SYNCHRONIZING AUTOMATA AND DIGRAPHS 55
DMITRY ANANICHEV, VLADIMIR GUSEV, AND MIKHAIL VOLKOV WEIGHTS OF EXACT
THRESHOLD FUNCTIONS 66 LASZLO BABAI, KRISTOFFER ARNSFELT HANSEN,
VLADIMIR V. PODOLSKII, AND XIAOMING SUN PROOF SYSTEMS AND TRANSFORMATION
GAMES 78 YORAM BACHRACH, MICHAEL ZUCKERMAN, MICHAEL WOOLDRIDGE, AND
JEFFREY S. ROSENSCHEIN SCHEDULING REAL-TIME MIXED-CRITICALITY JOBS 90
SANJOY K. BARUAH, VINCENZO BONIFACI, GIANLORENZO D'ANGELO, HAOHAN LI,
ALBERTO M ARCHETTI-SPACCAMELA, NICOLE MCGOW, AND LEEN STOUGIE A
DEXPTIME-COMPLETE DOLEV-YAO THEORY WITH DISTRIBUTIVE ENCRYPTION 102 A.
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1004409613 DIGITALISIERT
DURCH XIV TABLE OF CONTENTS FINDING BEST SWAP EDGES MINIMIZING THE
ROUTING COST OF A SPANNING TREE 138 DAVIDE BILO, LUCIANO GUALA, AND
GUIDO PROIETTI IMPROVED APPROXIMABILITY AND NON-APPROXIMABILITY RESULTS
FOR GRAPH DIAMETER DECREASING PROBLEMS 150 DAVIDE BILO, LUCIANO GUALA,
AND GUIDO PROIETTI DISTANCE CONSTRAINT SATISFACTION PROBLEMS 162 MANUEL
BODIRSKY, VICTOR DALMAU, BARNABY MARTIN, AND MICHAEL PINSKER FASTER
ALGORITHMS ON BRANCH AND CLIQUE DECOMPOSITIONS 174 HANS L. BODLAENDER,
ERIK JAN VAN LEEUWEN, JOHAN M.M. VAN ROOIJ, AND MARTIN VATSHELLE
EXPONENTIAL SPACE COMPLEXITY FOR SYMBOLIC MAXIMUM FLOW ALGORITHMS IN 0-1
NETWORKS 186 BEATE BOLLIG ROBUST COMPUTATIONS WITH DYNAMICAL SYSTEMS 198
OLIVIER BOURNEZ, DANIEL S. GRACA, AND EMMANUEL HAINRY ON FACTOR
UNIVERSALITY IN SYMBOLIC SPACES 209 LAURENT BOYER AND GUILLAUME
THEYSSIER TOWARD A DETERMINISTIC POLYNOMIAL TIME ALGORITHM WITH OPTIMAL
ADDITIVE QUERY COMPLEXITY 221 NADER H. BSHOUTY AND HANNA MAZZAWI
RESOURCE COMBINATORY ALGEBRAS 233 ALBERTO CARRARO, THOMAS EHRHARD, AND
ANTONINO SALIBRA RANDOMNESS FOR FREE 246 KRISHNENDU CHATTERJEE, LAURENT
DOYEN, HUGO GIMBERT, AND THOMAS A. HENZINGER QUALITATIVE ANALYSIS OF
PARTIALLY-OBSERVABLE MARKOV DECISION PROCESSE TABLE OF CONTENTS XV
DETERMINISTIC RENDEZVOUS OF ASYNCHRONOUS BOUNDED-MEMORY AGENTS IN
POLYGONAL TERRAINS 294 JUREK CZYZOWICZ, ADRIAN KOSOWSKI, AND ANDRZEJ
PELE COUNTING CLASSES AND THE FINE STRUCTURE BETWEEN NC 1 AND L 306
SAMIR DOTTA, MEENA MAHAJAN, B. V. RAGHAVENDRA RAO, MICHAEL THOMAS, AND
HERIBERT VOLLMER THE AVERAGE COMPLEXITY OF MOORE'S STATE MINIMIZATION
ALGORITHM IS O(NLOGLOGN) 318 JULIEN DAVID CONNECTED SEARCHING OF
WEIGHTED TREES 330 DARIUSZ DERENIOWSKI ITERATED REGRET MINIMIZATION IN
GAME GRAPHS 342 EMMANUEL FILIOT, TRISTAN LE GALI, AND JEAN-FRANCOIS
RASKIN PROPERTIES OF VISIBLY PUSHDOWN TRANSDUCERS 355 EMMANUEL FILIOT,
JEAN-FRANCOIS RASKIN, PIERRE-ALAIN REYNIER, FREDERIC SERVAIS, AND
JEAN-MARC TALBOT SECOND-ORDER ALGEBRAIC THEORIES (EXTENDED ABSTRACT) 368
MARCELO FIORE AND OLA MAHMOUD FRAME DEFINABILITY FOR CLASSES OF TREES IN
THE /-CALCULUS 381 GAE'LLE FONTAINE AND THOMAS PLACE EVALUATING
NON-SQUARE SPARSE BILINEAR FORMS ON MULTIPLE VECTOR PAIRS IN THE
I/O-MODEL 393 GERO GREINER AND RIKO JACOB FINDING AND COUNTING
VERTEX-COLORED SUBTREES 405 SYLVAIN GUILLEMOT AND FLORIAN SIKORA
LIMITING NEGATIONS IN BOUNDED TREEWIDTH AND UPWARD PLANAR CIRCUITS 417
JING XVI TABLE OF CONTENTS THE PRIZE-COLLECTING EDGE DOMINATING SET
PROBLEM IN TREES 465 NAOYUKI KAMIYAMA THE MULTIVARIATE RESULTANT IS
NP-HARD IN ANY CHARACTERISTIC 477 BRUNO GRENET, PASCAL KOIRAN, AND
NATACHA PORTIER PARAMETERIZED COMPLEXITY AND KERNELIZABILITY OF MAX ONES
AND EXACT ONES PROBLEMS 489 STEFAN KRATSCH, DANIEL MARX, AND MAGNUS
WAHLSTROEM META-ENVY-FREE CAKE-CUTTING PROTOCOLS 501 YOSHIFUMI MANABE AND
TATSUAKI OKAMOTO TWO VARIABLES AND TWO SUCCESSORS 513 AMALDEV MANUEL
HARNESSING ML F WITH THE POWER OF SYSTEM F 525 GIULIO MANZONETTO AND
PAOLO TRANQUILLI DESCRIBING AVERAGE- AND LONGTIME-BEHAVIOR BY WEIGHTED
MSO LOGICS 537 MANFRED DROSTE AND LNGMAR MEINECKE SOLVING MINONES-2-SAT
AS FAST AS VERTEX COVER 549 NEELDHARA MISRA, N.S. NARAYANASWAMY,
VENKATESH RAMAN, AND BAI SRI SHANKAR UNAMBIGUOUS FINITE AUTOMATA OVER A
UNARY ALPHABET 556 ALEXANDER OKHOTIN THE COMPLEXITY OF FINDING RESET
WORDS IN FINITE AUTOMATA 568 JOERG OLSCHEWSKI AND MICHAEL UMMELS DOES
TREEWIDTH HELP IN MODAL SATISFIABILITY? (EXTENDED ABSTRACT) 580 M.
PRAVEEN ASYNCHRONOUS OMEGA-REGULAR GAMES WITH PARTIAL INFORMATION 592
BERND TABLE OF CONTENTS XVII FASTER APPROXIMATION SCHEMES AND
PARAMETERIZED ALGORITHMS ON 77-MINOR-FREE AND ODD-MINOR-FREE GRAPHS 641
SIAMAK TAZARI SEMI-LINEAR PARIKH IMAGES OF REGULAR EXPRESSIONS VIA
REDUCTION 653 BAHAREH BADBAN AND MOHAMMAD TORABI DASHTI BREAKING THE
RECTANGLE BOUND BARRIER AGAINST FORMULA SIZE LOWER BOUNDS 665 KENYA UENO
MESH DEFORMATION OF DYNAMIC SMOOTH MANIFOLDS WITH SURFACE
CORRESPONDENCES 677 HO-LUN CHENG AND KE YAN COUNTING DEPENDENT AND
INDEPENDENT STRINGS 689 MARIUS ZIMAND IMPOSSIBILITY OF INDEPENDENCE
AMPLIFICATION IN KOLMOGOROV COMPLEXITY THEORY 701 MARIUS ZIMAND AUTHOR
INDEX 713 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036618141 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)699944473 (DE-599)DNB1004409613 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036618141</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101027</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100817s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N29</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1004409613</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642151545</subfield><subfield code="c">Book. : ca. EUR 93.09 (freier Pr.), ca. sfr 135.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15154-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642151545</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80020276</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699944473</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1004409613</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical foundations of computer science 2010</subfield><subfield code="b">35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings</subfield><subfield code="c">Petr Hlineny ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 714 S.</subfield><subfield code="b">graph. Darst.</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">Lecture Notes in Computer Science</subfield><subfield code="v">6281</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">2010</subfield><subfield code="z">Brünn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Hliněný, Petr</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MFCS</subfield><subfield code="n">35</subfield><subfield code="d">2010</subfield><subfield code="c">Brünn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16077955-8</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">6281</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6281</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3513906&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020538225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020538225</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Brünn gnd-content |
| genre_facet | Konferenzschrift 2010 Brünn |
| id | DE-604.BV036618141 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:44Z |
| institution | BVB |
| institution_GND | (DE-588)16077955-8 |
| isbn | 9783642151545 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020538225 |
| oclc_num | 699944473 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XVII, 714 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings Petr Hlineny ... (eds.) Berlin [u.a.] Springer 2010 XVII, 714 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6281 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Brünn gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Hliněný, Petr Sonstige oth MFCS 35 2010 Brünn Sonstige (DE-588)16077955-8 oth Lecture Notes in Computer Science 6281 (DE-604)BV000000607 6281 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3513906&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020538225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings Lecture Notes in Computer Science Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| title_auth | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| title_exact_search | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| title_full | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings Petr Hlineny ... (eds.) |
| title_fullStr | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings Petr Hlineny ... (eds.) |
| title_full_unstemmed | Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings Petr Hlineny ... (eds.) |
| title_short | Mathematical foundations of computer science 2010 |
| title_sort | mathematical foundations of computer science 2010 35th international symposium mfcs 2010 brno czech republic august 23 27 2010 proceedings |
| title_sub | 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Konferenzschrift 2010 Brünn |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3513906&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020538225&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hlinenypetr mathematicalfoundationsofcomputerscience201035thinternationalsymposiummfcs2010brnoczechrepublicaugust23272010proceedings AT mfcsbrunn mathematicalfoundationsofcomputerscience201035thinternationalsymposiummfcs2010brnoczechrepublicaugust23272010proceedings |