Verfügbarkeit: STACS 99 :: THWS Bibkatalog

STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	STACS Trier (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1999
Schriftenreihe:	Lecture notes in computer science 1563
Schlagworte:	Computer science - Congresses Informatik Theoretische Informatik Konferenzschrift > 1999 > Trier
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XIV, 582 S. graph. Darst.
ISBN:	354065691X

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV012408565
003	DE-604
005	20070424
007	t\|
008	990209s1999 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 955731232 \|2 DE-101
020			\|a 354065691X \|9 3-540-65691-X
035			\|a (OCoLC)473916215
035			\|a (DE-599)BVBBV012408565
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-384 \|a DE-91G \|a DE-739 \|a DE-29T \|a DE-824 \|a DE-19 \|a DE-521 \|a DE-706 \|a DE-83 \|a DE-634 \|a DE-188
050		0	\|a QA75.5
082	0		\|a 004 \|2 21
084			\|a DAT 500f \|2 stub
084			\|a 28 \|2 sdnb
111	2		\|a STACS \|n 16 \|d 1999 \|c Trier \|j Verfasser \|0 (DE-588)2175189-4 \|4 aut
245	1	0	\|a STACS 99 \|b 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings \|c Christoph Meinel ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1999
300			\|a XIV, 582 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 1563
650		4	\|a Computer science - Congresses
650		4	\|a Informatik
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 1999 \|z Trier \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
700	1		\|a Meinel, Christoph \|e Sonstige \|4 oth
830		0	\|a Lecture notes in computer science \|v 1563 \|w (DE-604)BV000000607 \|9 1563
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=008418417&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-008418417

Datensatz im Suchindex

_version_	1820868381411115008
adam_text	XI TABLE OF CONTENTS INVITED TALKS ALGORITHMS FOR SELSH AGENTS N. NISAN .1 THE REDUCED GENUS OF A MULTIGRAPH P. OSSONA DE MENDEZ .16 CLASSIFYING DISCRETE TEMPORAL PROPERTIES TH. WILKE .32 COMPLEXITY 1 CIRCUIT COMPLEXITY OF TESTING SQUARE-FREE NUMBERS A. BERNASCONI, I. SHPARLINSKI .47 RELATING BRANCHING PROGRAM SIZE AND FORMULA SIZE OVER THE FULL BINARY BASIS M. SAUERHO, I. WEGENER, R. WERCHNER .57 THEORY OF PARALLEL ALGORITHMS 1 MEMORY ORGANIZATION SCHEMES FOR LARGE SHARED DATA: A RANDOMIZED SOLUTION FOR DISTRIBUTED MEMORY MACHINES A.E. ANDREEV, A.E.F. CLEMENTI, P. PENNA, J.D.P. ROLIM .68 THE AVERAGE TIME COMPLEXITY TO COMPUTE PREX FUNCTIONS IN PROCESSOR NETWORKS A. JAKOBY .78 COMPLEXITY 2 ON THE HARDNESS OF PERMANENT J.-Y. CAI, A. PAVAN, D. SIVAKUMAR .90 ONE-SIDED VERSUS TWO-SIDED ERROR IN PROBABILISTIC COMPUTATION H. BUHRMAN, L. FORTNOW .100 COMPUTATIONAL GEOMETRY AN OPTIMAL COMPETITIVE STRATEGY FOR WALKING IN STREETS C. ICKING, R. KLEIN, E. LANGETEPE .110 AN OPTIMAL STRATEGY FOR SEARCHING IN UNKNOWN STREETS S. SCHUIERER, I. SEMRAU .121 PARALLEL SEARCHING ON M RAYS M. HAMMAR, B.J. NILSSON, S. SCHUIERER .132 XII TABLE OF CONTENTS COMPLEXITY 3 A LOGICAL CHARACTERISATION OF LINEAR TIME ON NONDETERMINISTIC TURING MACHINES C. LAUTEMANN, N. SCHWEIKARDT, TH. SCHWENTICK .143 DESCRIPTIVE COMPLEXITY OF COMPUTABLE SEQUENCES B. DURAND, A. SHEN, N. VERESHAGIN .153 COMPLEXITY OF SOME PROBLEMS IN UNIVERSAL ALGEBRA C. BERGMAN, G. SLUTZKI .163 ALGORITHMS AND DATA STRUCTURES 1 NEW BRANCHWIDTH TERRITORIES T. KLOKS, J. KRATOCHVL, H. M¨ULLER .173 BALANCED RANDOMIZED TREE SPLITTING WITH APPLICATIONS TO EVOLUTIONARY TREE CONSTRUCTIONS M.-Y. KAO, A. LINGAS, A. ¨ OSTLIN .184 TREEWIDTH AND MINIMUM FILL-IN OF WEAKLY TRIANGULATED GRAPHS V. BOUCHITTE, I. TODINCA .197 AUTOMATA AND FORMAL LANGUAGES DECIDABILITY AND UNDECIDABILITY OF MARKED PCP V. HALAVA, M. HIRVENSALO, R. DE WOLF .207 ON QUADRATIC WORD EQUATIONS J.M. ROBSON, V. DIEKERT .217 SOME UNDECIDABILITY RESULTS RELATED TO THE STAR PROBLEM IN TRACE MONOIDS D. KIRSTEN .227 ALGORITHMS AND DATA STRUCTURES 2 AN APPROXIMATION ALGORITHM FOR MAX P -SECTION G. ANDERSSON .237 APPROXIMATING BANDWIDTH BY MIXING LAYOUTS OF INTERVAL GRAPHS D. KRATSCH, L. STEWART .248 LINEAR TIME 1/2-APPROXIMATION ALGORITHM FOR MAXIMUM WEIGHTED MATCHING IN GENERAL GRAPHS R. PREIS .259 COMPLEXITY 4 EXTENDING DOWNWARD COLLAPSE FROM 1-VERSUS-2 QUERIES TO J -VERSUS- J +1 QUERIES E. HEMASPAANDRA, L.A. HEMASPAANDRA, H. HEMPEL .270 SPARSE SETS, APPROXIMABLE SETS, AND PARALLEL QUERIES TO NP V.ARVI ND,J.TOR AN .281 TABLE OF CONTENTS XIII ALGORITHMS AND DATA STRUCTURES 3 EXTERNAL SELECTION J.F. SIBEYN .291 FAST COMPUTATIONS OF THE EXPONENTIAL FUNCTION T. AHRENDT .302 VERICATION A MODEL OF BEHAVIOUR ABSTRACTION FOR COMMUNICATING PROCESSES M. KOUTNY, G. PAPPALARDO .313 MODEL CHECKING LOSSY VECTOR ADDITION SYSTEMS A. BOUAJJANI, R. MAYR .323 ALGORITHMS AND DATA STRUCTURES 4 CONSTRUCTING LIGHT SPANNING TREES WITH SMALL ROUTING COST B.Y. WU, K.-M. CHAO, C.Y. TANG .334 FINDING PATHS WITH THE RIGHT COST M. NYK¨ANEN, E. UKKONEN .345 COMPLEXITY 5 IN HOW MANY STEPS THE K PEG VERSION OF THE TOWERS OF HANOI GAME CAN BE SOLVED? M. SZEGEDY .356 LOWER BOUNDS FOR DYNAMIC ALGEBRAIC PROBLEMS G.S. FRANDSEN, J.P. HANSEN, P.B. MILTERSEN .362 AN EXPLICIT LOWER BOUND FOR TSP WITH DISTANCES ONE AND TWO L. ENGEBRETSEN .373 THEORY OF PARALLEL ALGORITHMS 2 SCHEDULING DYNAMIC GRAPHS A. JAKOBY, M. LISKIEWICZ, R. REISCHUK .383 SUPPORTING INCREMENT AND DECREMENT OPERATIONS IN BALANCING NETWORKS W. AIELLO, C. BUSCH, M. HERLIHY, M. MAVRONICOLAS, N. SHAVIT, D. TOUITOU .393 WORST-CASE EQUILIBRIA E. KOUTSOUPIAS, C. PAPADIMITRIOU .404 ALGORITHMIC LEARNING A COMPLETE AND TIGHT AVERAGE-CASE ANALYSIS OF LEARNING MONOMIALS R. REISCHUK, TH. ZEUGMANN .414 COSTS OF GENERAL PURPOSE LEARNING J. CASE, K.-J. CHEN, S. JAIN .424 UNIVERSAL DISTRIBUTIONS AND TIME-BOUNDED KOLMOGOROV COMPLEXITY R. SCHULER .434 XIV TABLE OF CONTENTS LOGIC IN COMPUTER SCIENCE THE DESCRIPTIVE COMPLEXITY APPROACH TO LOGCFL C. LAUTEMANN, P. MCKENZIE, TH. SCHWENTICK, H. VOLLMER .444 THE WEAKNESS OF SELF-COMPLEMENTATION O. KUPFERMAN, M.Y. VARDI .455 ON THE DIERENCE OF HORN THEORIES TH. EITER, T. IBARAKI, K. MAKINO .467 COMPLEXITY 6 ON QUANTUM ALGORITHMS FOR NONCOMMUTATIVE HIDDEN SUBGROUPS M. ETTINGER, P. HYER .478 ON THE SIZE OF RANDOMIZED OBDDS AND READ-ONCE BRANCHING PROGRAMS FOR K -STABLE FUNCTIONS M. SAUERHO .488 HOW TO FORGET A SECRET G. DI CRESCENZO, N. FERGUSON, R. IMPAGLIAZZO, M. JAKOBSSON .500 LOGIC IN COMPUTER SCIENCE 2 A MODAL FIXPOINT LOGIC WITH CHOP M. M¨ULLER-OLM .510 COMPLETENESS OF NEIGHBOURHOOD LOGIC R. BARUA, S. ROY, Z. CHAOCHEN .521 ELIMINATING RECURSION IN THE -CALCULUS M. OTTO .531 COMPLEXITY 7 ON OPTIMAL ALGORITHMS AND OPTIMAL PROOF SYSTEMS J. MESSNER .541 SPACE BOUNDS FOR RESOLUTION J.L. ESTEBAN, J. TORAN .551 ALGORITHMS AND DATA STRUCTURES 5 UPPER BOUNDS FOR VERTEX COVER FURTHER IMPROVED R. NIEDERMEIER, P. ROSSMANITH .561 ONLINE MATCHING FOR SCHEDULING PROBLEMS M. RIEDEL .571 AUTHOR INDEX .581
any_adam_object	1
author_corporate	STACS Trier
author_corporate_role	aut
author_facet	STACS Trier
author_sort	STACS Trier
building	Verbundindex
bvnumber	BV012408565
callnumber-first	Q - Science
callnumber-label	QA75
callnumber-raw	QA75.5
callnumber-search	QA75.5
callnumber-sort	QA 275.5
callnumber-subject	QA - Mathematics
classification_rvk	SS 1999 SS 4800
classification_tum	DAT 500f
ctrlnum	(OCoLC)473916215 (DE-599)BVBBV012408565
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
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 a2200000 cb4500</leader><controlfield tag="001">BV012408565</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070424</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">990209s1999 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">955731232</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354065691X</subfield><subfield code="9">3-540-65691-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)473916215</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012408565</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">21</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="111" ind1="2" ind2=" "><subfield code="a">STACS</subfield><subfield code="n">16</subfield><subfield code="d">1999</subfield><subfield code="c">Trier</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2175189-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">STACS 99</subfield><subfield code="b">16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings</subfield><subfield code="c">Christoph Meinel ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 582 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">1563</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science - Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">1999</subfield><subfield code="z">Trier</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">Meinel, Christoph</subfield><subfield code="e">Sonstige</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">1563</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1563</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=008418417&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-008418417</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1999 Trier gnd-content
genre_facet	Konferenzschrift 1999 Trier
id	DE-604.BV012408565
illustrated	Illustrated
indexdate	2025-01-10T13:23:28Z
institution	BVB
institution_GND	(DE-588)2175189-4
isbn	354065691X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008418417
oclc_num	473916215
open_access_boolean
owner	DE-384 DE-91G DE-BY-TUM DE-739 DE-29T DE-824 DE-19 DE-BY-UBM DE-521 DE-706 DE-83 DE-634 DE-188
owner_facet	DE-384 DE-91G DE-BY-TUM DE-739 DE-29T DE-824 DE-19 DE-BY-UBM DE-521 DE-706 DE-83 DE-634 DE-188
physical	XIV, 582 S. graph. Darst.
publishDate	1999
publishDateSearch	1999
publishDateSort	1999
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	STACS 16 1999 Trier Verfasser (DE-588)2175189-4 aut STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings Christoph Meinel ... (eds.) Berlin [u.a.] Springer 1999 XIV, 582 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1563 Computer science - Congresses Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Trier gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Meinel, Christoph Sonstige oth Lecture notes in computer science 1563 (DE-604)BV000000607 1563 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008418417&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings Lecture notes in computer science Computer science - Congresses Informatik Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)1071861417
title	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings
title_auth	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings
title_exact_search	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings
title_full	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings Christoph Meinel ... (eds.)
title_fullStr	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings Christoph Meinel ... (eds.)
title_full_unstemmed	STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings Christoph Meinel ... (eds.)
title_short	STACS 99
title_sort	stacs 99 16th annual symposium on theoretical aspects of computer science trier germany march 4 6 1999 proceedings
title_sub	16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 ; proceedings
topic	Computer science - Congresses Informatik Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Computer science - Congresses Informatik Theoretische Informatik Konferenzschrift 1999 Trier
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008418417&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT stacstrier stacs9916thannualsymposiumontheoreticalaspectsofcomputersciencetriergermanymarch461999proceedings AT meinelchristoph stacs9916thannualsymposiumontheoreticalaspectsofcomputersciencetriergermanymarch461999proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge