Mathematical foundations of computer science 2001: 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
2136 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 716 S. |
| ISBN: | 3540424962 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013865842 | ||
| 003 | DE-604 | ||
| 005 | 20011002 | ||
| 007 | t| | ||
| 008 | 010807s2001 gw |||| 10||| eng d | ||
| 016 | 7 | |a 962079359 |2 DE-101 | |
| 020 | |a 3540424962 |9 3-540-42496-2 | ||
| 035 | |a (OCoLC)48721282 | ||
| 035 | |a (DE-599)BVBBV013865842 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-824 |a DE-20 |a DE-521 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.M35S96 2001 | |
| 082 | 0 | |a 004/.01/51 21 | |
| 084 | |a 27 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Mathematical foundations of computer science 2001 |b 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings |c Jiří Sgall ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a XII, 716 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2136 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science -- Mathematics -- Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Marienbad |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Sgall, Jiří |d 1965- |e Sonstige |0 (DE-588)114162271 |4 oth | |
| 711 | 2 | |a MFCS |n 26 |d 2001 |c Marienbad |j Sonstige |0 (DE-588)10024680-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2136 |w (DE-604)BV000000607 |9 2136 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009484544 | |
Record in the Search Index
| _version_ | 1820868246512861184 |
|---|---|
| adam_text |
JIRI SGALL ALES PULTR PETR KOLMAN (EDS.) MATHEMATICAL FOUNDATIONS OF
COMPUTER SCIENCE 2001 26TH INTERNATIONAL SYMPOSIUM, MFCS 2001 MARIAENSKE
LAZNE, CZECH REPUBLIC, AUGUST 27-31, 2001 PROCEEDINGS SSAE SPRINGER TABLE
OF CONTENTS INVITED TALKS A NEW CATEGORY FOR SEMANTICS 1 DANA S. SCOTT
ON IMPLICATIONS BETWEEN P-NP-HYPOTHESES: DECISION VERSUS COMPUTATION IN
ALGEBRAIC COMPLEXITY 3 PETER BUERGISSER PLAYING GAMES WITH ALGORITHMS:
ALGORITHMIC COMBINATORIAL GAME THEORY 18 ERIK D. DEMAINE SOME RECENT
RESULTS ON DATA MINING AND SEARCH 33 ARNOS FIAT HYPERTREE
DECOMPOSITIONS: A SURVEY 37 GEORG GOTTLOB, NICOLA LEONE, AND FRANCESCO
SCARCELLO THE STRENGTH OF NON-SIZE-INCREASING COMPUTATION (INTRODUCTION
AND SUMMARY) 58 MARTIN HOFMANN INTRODUCTION TO RECENT QUANTUM ALGORITHMS
62 PETER H0YER DECOMPOSITION METHODS AND SAMPLING CIRCUITS IN THE
CARTESIAN LATTICE * 74 DANA RANDALL NEW ALGORITHMS FOR FC-SAT BASED ON
THE LOCAL SEARCH PRINCIPLE 87 UWE SCHOENING LINEAR TEMPORAL LOGIC AND
FINITE SEMIGROUPS 96 THOMAS WUEKE CONTRIBUTED TALKS REFINED SEARCH TREE
TECHNIQUE FOR DOMINATING SET ON PLANAR GRAPHS . 111 JOCHEN ALBER,
HONGHING FAN, MICHAEL R. FELLOWS, HENNING FERNAU, ROLF NIEDERMEIER, FRAN
ROSAMOND, AND ULRIKE STEGE THE COMPUTATIONAL POWER OF A FAMILY OF
DECISION FORESTS 123 KAZUYUKI AMANO, TSUKURU HIROSAWA, YUSUKE WATANABE,
AND AKIRA MARUOKA EXACT RESULTS FOR ACCEPTING PROBABILITIES OF QUANTUM
AUTOMATA 135 ANDRIS AMBAINIS AND ARNOLDS IFIKUSTS X TABLE OF CONTENTS
IMPROVED BOUNDS ON THE WEAK PIGEONHOLE PRINCIPLE AND INFINITELY MANY
PRIMES FROM WEAKER AXIOMS 148 ALBERT ATSERIAS ANALYSIS PROBLEMS FOR
SEQUENTIAL DYNAMICAL SYSTEMS AND COMMUNICATING STATE MACHINES 159 CHRIS
BARRETT, HARRY B. HUNT III, MADHAV V. MARATHE, S. S. RAVI, DANIEL J.
ROSENKRANTZ, AND RICHARD E. STEARNS THE COMPLEXITY OF TENSOR CIRCUIT
EVALUATION (EXTENDED ABSTRACT) 173 MARTIN BEAUDRY AND MARKUS HOLZER
COMPUTING RECIPROCALS OF BIVARIATE POWER SERIES 186 MARKUS BLAESER
AUTOMATIC VERIFICATION OF RECURSIVE PROCEDURES WITH ONE INTEGER
PARAMETER 198 AHMED BOUAJJANI, PETER HABERMEHL, AND RICHARD MAYR
GRAPH-DRIVEN FREE PARITY BDDS: ALGORITHMS AND LOWER BOUNDS 212 HENRIK
BROSENNE, MATTHIAS HOMEISTER, AND STEPHAN WAACK COMPUTABLE VERSIONS OF
BAIRE'S CATEGORY THEOREM 224 VASCO BRATTKA AUTOMATA ON LINEAR ORDERINGS
236 VERONIQUE BRUYERE AND OLIVIER CARTON ALGORITHMIC INFORMATION THEORY
AND CELLULAR AUTOMATA DYNAMICS 248 JULIEN CERVELLE. BRUNO DURAND, AND
ENRICO FORMENTI THE FC-MEDIAN PROBLEM FOR DIRECTED TREES (EXTENDED
ABSTRACT) 260 MAREK CHROBAK, LAWRENCE L. LARMORE, AND WOJCIECH RYTTER ON
PSEUDORANDOM GENERATORS IN NC 0 272 MARY CRYAN AND PETER BRO MILTERSEN
THERE ARE NO SPARSE NP^-HARD SETS 285 FELIPE CUCKER AND DIMA GRIGORIEV
SHARING ONE SECRET VS. SHARING MANY SECRETS: TIGHT BOUNDS FOR THE MAX
IMPROVEMENT RATIO 292 GIOVANNI DI CRESCENZO (H, C, AE^-COLORING: FAST,
EASY, AND HARD CASES 304 JOSEP DIAZ, MARIA SERNA, AND DIMITRIOS M.
THUEIKOS RANDOMNESS AND REDUCIBILITY 316 ROD G. DOWNEY, DENIS R.
HIRSCHFELDT, AND GEOFF LAFORTE ON THE COMPUTATIONAL COMPLEXITY OF
INFINITE WORDS 328 PAVOL DURIS AND JAN MANUCH LOWER BOUNDS FOR ON-LINE
SINGLE-MACHINE SCHEDULING 338 LEAH EPSTEIN AND ROB VAN STEE TABTE OF
CONTENTS XI APPROXIMATION ALGORITHMS AND COMPLEXITY RESULTS FOR PATH
PROBLEMS IN TREES OF RINGS 351 THOMAS ERLEBACH A 3-APPROXIMATION
ALGORITHM FOR MOVEMENT MINIMIZATION IN CONVEYOR FLOW SHOP PROCESSING 363
WOLF GANG ESPELAGE AND EGON WANKE QUANTIFIER RANK FOR PARITY OF EMBEDDED
FINITE MODELS 375 HERVE FOURNIER SPACE HIERARCHY THEOREM REVISED 387
VILIAM GEFFERT CONVERTING TWO-WAY NONDETERMINISTIC UNARY AUTOMATA INTO
SIMPLER AUTOMATA 398 VILIAM GEFFERT, CARLO MEREGHETTI, AND GIOVANNI
PIGHIZZINI THE COMPLEXITY OF THE MINIMAL POLYNOMIAL 408 THANH MINH HOANG
AND THOMAS THIERAUF NOTE ON MINIMAL FINITE AUTOMATA 421 GALINA JIRDSKOVD
SYNCHRONIZING FINITE AUTOMATA ON EULERIAN DIGRAPHS 432 JARKKO KARI A
TIME HIERARCHY FOR BOUNDED ONE-WAY CELLULAR AUTOMATA 439 ANDREAS KLEIN
AND MARTIN KUTRIB CHECKING AMALGAMABILITY CONDITIONS FOR CASL
ARCHITECTURAL SPECIFICATIONS 451 BARTEK KLIN, PIOTR HOFFMAN, ANDRZEJ
TARLECKI, LUTZ SCHROEDER, AND TILL MOSSAKOWSKI ON-LINE SCHEDULING WITH
TIGHT DEADLINES 464 CHIU- YUEN KOO, TAK- WAH LAM, TSUEN- WAN NGAN, AND
KAR-KEUNG TO COMPLEXITY NOTE ON MIXED HYPERGRAPHS 474 DANIEL KRAL', JAN
KRATOCHVIL. AND HEINZ-JUERGEN VOSS NEWS FROM THE ONLINE TRAVELING
RCPAIRMAN 487 SVEN 0. KRUMKE, WILLEM E, DE PAEVE, DIANA POENSGEN, AND
LEEN STOUGIE WORD PROBLEMS FOR 2-HOMOGENEOUS MONOIDS AND SYMMETRIE
LOGSPACE 500 MARKUS LOHREY VARIATIONS ON A THEOREM OF FINE & WILF 512
FILIPPO MIGNOSI, JEFFREY SHALLIT, AND MING-WEI WANG UPPER BOUNDS ON THE
BISECTION WIDTH OF 3- AND 4-REGULAER GRAPHS 524 BURKHARD MONIEN AND
ROBERT PREIS SATISFIABILITY OF SYSTEMS OF EQUATIONS OVER FINITE MONOIDS
537 CRISTOPHER MOORE, PASCAL TESSON, AND DENIS THERIEN XII TABLE OF
CONTENTS RATIONAL GRAPHS TRACE CONTEXT-SENSITIVE LANGUAGES 548
CHRISTOPHE MORVAN, AND COLIN STIRLING TOWARDS REGULAER LANGUAGES OVER
INFINITE ALPHABETS 560 FRANK NEVEN, THOMAS SCHWENTICK, AND VICTOR VIANU
PARTIAL INFORMATION AND SPECIAL CASE ALGORITHMS 573 ARFST NICKELSEN THE
COMPLEXITY OF COMPUTING THE NUMBER OF SELF-AVOIDING WALKS IN
TWO-DIMENSIONAL GRID GRAPHS AND IN HYPERCUBE GRAPHS 585 MITSUNORI
OGIHARA AND SEINOSUKE TODA PROM BIDIRECTIONALITY TO ALTERNATION 5 98 NIR
PITERMAN AND MOSHE Y. VARDI SYNTACTIC SEMIRING OF A LANGUAGE (EXTENDED
ABSTRACT) 611 LIBOR POIDK ON REDUCIBILITY AND SYMMETRY OF DISJOINT
NP-PAIRS 621 PAVEL PUDLAEK HIERARCHY OF MONOTONICALLY COMPUTABLE REAL
NUMBERS (EXTENDED ABSTRACT) 633 ROBERT RETTINGER AND XIZHONG ZHENG ON
THE EQUATIONAL DEFINITION OF THE LEAST PREFIXED POINT 645 LUIGI
SANTOCANALE ON THE PERIODS OF PARTIAL WORDS 6 57 ARSENY M. SHUR AND
YULIA V. KONOVALOVA THE SIZE OF POWER AUTOMATA G 66 KLAUS SUTNER ON THE
APPROXIMABILITY OF THE STEINER TREE PROBLEM 678 MARTIN THIMM ALIGNMENT
BETWEEN TWO RNA STRUCTURES 690 ZHUOZHI WANG AND KAIZHONG ZHANG
CHARACTERIZATION OF CONTEXT-FREE LANGUAGES WITH POLYNOMIALLY BOUNDED
AMBIGUITY 703 KLAUS WICH AUTHOR INDEX 715 |
| any_adam_object | 1 |
| author_GND | (DE-588)114162271 |
| building | Verbundindex |
| bvnumber | BV013865842 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35S96 2001 |
| callnumber-search | QA76.9.M35S96 2001 |
| callnumber-sort | QA 276.9 M35 S96 42001 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 2001 SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)48721282 (DE-599)BVBBV013865842 |
| dewey-full | 004/.01/5121 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 21 |
| dewey-search | 004/.01/51 21 |
| dewey-sort | 14 11 251 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013865842</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011002</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010807s2001 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962079359</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540424962</subfield><subfield code="9">3-540-42496-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48721282</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013865842</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35S96 2001</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical foundations of computer science 2001</subfield><subfield code="b">26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings</subfield><subfield code="c">Jiří Sgall ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 716 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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2136</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science -- Mathematics -- Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">2001</subfield><subfield code="z">Marienbad</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sgall, Jiří</subfield><subfield code="d">1965-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)114162271</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MFCS</subfield><subfield code="n">26</subfield><subfield code="d">2001</subfield><subfield code="c">Marienbad</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10024680-1</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">2136</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2136</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=009484544&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-009484544</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Marienbad gnd-content |
| genre_facet | Konferenzschrift 2001 Marienbad |
| id | DE-604.BV013865842 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:19Z |
| institution | BVB |
| institution_GND | (DE-588)10024680-1 |
| isbn | 3540424962 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009484544 |
| oclc_num | 48721282 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-824 DE-20 DE-521 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-824 DE-20 DE-521 DE-83 DE-188 DE-706 |
| physical | XII, 716 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XII, 716 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2136 Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Marienbad gnd-content Mathematik (DE-588)4037944-9 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Sgall, Jiří 1965- Sonstige (DE-588)114162271 oth MFCS 26 2001 Marienbad Sonstige (DE-588)10024680-1 oth Lecture notes in computer science 2136 (DE-604)BV000000607 2136 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Lecture notes in computer science Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Datenverarbeitung (DE-588)4011152-0 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4011152-0 (DE-588)4037944-9 (DE-588)1071861417 |
| title | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings |
| title_auth | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings |
| title_exact_search | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings |
| title_full | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.) |
| title_fullStr | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.) |
| title_full_unstemmed | Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings Jiří Sgall ... (ed.) |
| title_short | Mathematical foundations of computer science 2001 |
| title_sort | mathematical foundations of computer science 2001 26th international symposium mfcs 2001 marianske lazn e czech republic august 27 31 2001 proceedings |
| title_sub | 26th international symposium, MFCS 2001, Mariánské Lázn e, Czech Republic, August 27 - 31, 2001 ; proceedings |
| topic | Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Datenverarbeitung (DE-588)4011152-0 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik Datenverarbeitung Konferenzschrift 2001 Marienbad |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sgalljiri mathematicalfoundationsofcomputerscience200126thinternationalsymposiummfcs2001marianskelazneczechrepublicaugust27312001proceedings AT mfcsmarienbad mathematicalfoundationsofcomputerscience200126thinternationalsymposiummfcs2001marianskelazneczechrepublicaugust27312001proceedings |