Verfügbarkeit: FST TCS 2000: Foundations of software technology and theoretical computer science

FST TCS 2000: Foundations of software technology and theoretical computer science: 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FST and TCS Delhi (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Schriftenreihe:	Lecture notes in computer science 1974
Schlagworte:	Informatik Computer science > Congresses Software engineering > Congresses Konferenzschrift > 2000 > Delhi
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XIII, 532 S.
ISBN:	3540414134

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV013470033
003	DE-604
005	20010112
007	t
008	001128s2000 gw \|\|\|\| 10\|\|\| eng d
016	7		\|a 960175083 \|2 DE-101
020			\|a 3540414134 \|9 3-540-41413-4
035			\|a (OCoLC)45736611
035			\|a (DE-599)BVBBV013470033
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-83 \|a DE-188 \|a DE-706
050		0	\|a QA76.758
082	0		\|a 005 \|2 21
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 510f \|2 stub
111	2		\|a FST and TCS \|n 20 \|d 2000 \|c Delhi \|j Verfasser \|0 (DE-588)10014961-3 \|4 aut
245	1	0	\|a FST TCS 2000: Foundations of software technology and theoretical computer science \|b 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings \|c Sanjiv Kapoor ; Sanjiva Prasad (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2000
300			\|a XIII, 532 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 1974
650		4	\|a Informatik
650		4	\|a Computer science \|v Congresses
650		4	\|a Software engineering \|v Congresses
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2000 \|z Delhi \|2 gnd-content
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0		\|5 DE-604
700	1		\|a Kapoor, Sanjiv \|d 1959- \|e Sonstige \|0 (DE-588)122489322 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1974 \|w (DE-604)BV000000607 \|9 1974
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=009194594&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-009194594

Datensatz im Suchindex

_version_	1804128262715080704
adam_text	TABLE OF CONTENTS INVITED PRESENTATIONS MODEL CHECKING: THEORY INTO PRACTICE ................................ 1 E. ALLEN EMERSON AN ALGEBRA FOR XML QUERY ......................................... 11 MARY FERNANDEZ, JEROME SIMEON, AND PHILIP WADLER IRREGULARITIES OF DISTRIBUTION, DERANDOMIZATION, AND COMPLEXITY THEORY .. 46 BERNARD CHAZELLE REWRITING LOGIC AS A METALOGICAL FRAMEWORK .......................... 55 DAVID BASIN, MANUEL CLAVEL, AND JOS´EMES E GUER FREQUENCY ASSIGNMENT IN MOBILE PHONE SYSTEMS ...................... 81 MARTIN GR¨OTSCHEL DATA PROVENANCE: SOME BASIC ISSUES .................................. 87 PETER BUNEMAN, SANJEEV KHANNA, AND WANG-CHIEW TAN CONTRIBUTIONS FAST ON-LINE/OFF-LINE ALGORITHMS FOR OPTIMAL REINFORCEMENT OF A NETWORK AND ITS CONNECTIONS WITH PRINCIPAL PARTITION .................. 94 SACHIN B. PATKAR AND H. NARAYANAN ON-LINE EDGE-COLORING WITH A FIXED NUMBER OF COLORS ................. 106 LENE MONRAD FAVRHOLDT AND MORTEN NYHAVE NIELSEN ON APPROXIMABILITY OF THE INDEPENDENT/CONNECTED EDGE DOMINATING SET PROBLEMS ..................................................... 117 TOSHIHIRO FUJITO MODEL CHECKING CTL PROPERTIES OF PUSHDOWN SYSTEMS ................. 127 IGOR WALUKIEWICZ A DECIDABLE DENSE BRANCHING-TIME TEMPORAL LOGIC ................... 139 SALVATORE LA TORRE AND MARGHERITA NAPOLI FAIR EQUIVALENCE RELATIONS .......................................... 151 ORNA KUPFERMAN, NIR PITERMAN, AND MOSHE Y. VARDI ARITHMETIC CIRCUITS AND POLYNOMIAL REPLACEMENT SYSTEMS .............. 164 PIERRE MCKENZIE, HERIBERT VOLLMER, AND KLAUS W. WAGNER XII TABLE OF CONTENTS DEPTH-3 ARITHMETIC CIRCUITS FOR S 2 N ( X ) AND EXTENSIONS OF THE GRAHAM-POLLACK THEOREM ........................................... 176 JAIKUMAR RADHAKRISHNAN, PRANAB SEN, AND SUNDAR VISHWANATHAN THE BOUNDED WEAK MONADIC QUANTIFIER ALTERNATION HIERARCHY OF EQUATIONAL GRAPHS IS INFINITE ....................................... 188 OLIVIER LY COMBINING SEMANTICS WITH NON-STANDARD INTERPRETER HIERARCHIES ......... 201 SERGEI ABRAMOV AND ROBERT GL¨UCK USING MODES TO ENSURE SUBJECT REDUCTION FOR TYPED LOGIC PROGRAMS WITH SUBTYPING .................................................... 214 JANGEORG SMAUS, FRAN¸COIS FAGES, AND PIERRE DERANSART DYNAMICALLY ORDERED PROBABILISTIC CHOICE LOGIC PROGRAMMING ........... 227 MARINA DE VOS AND DIRK VERMEIR COORDINATIZED KERNELS AND CATALYTIC REDUCTIONS: AN IMPROVED FPT ALGORITHM FOR MAX LEAF SPANNING TREE AND OTHER PROBLEMS ............. 240 MICHAEL R. FELLOWS, CATHERINE MCCARTIN, FRANCES A. ROSAMOND, AND ULRIKE STEGE PLANAR GRAPH BLOCKING FOR EXTERNAL SEARCHING ........................ 252 SURENDER BASWANA AND SANDEEP SEN A COMPLETE FRAGMENT OF HIGHER-ORDER DURATION µ -CALCULUS ............. 264 DIMITAR P. GUELEV A COMPLETE AXIOMATISATION FOR TIMED AUTOMATA ...................... 277 HUIMIN LIN AND WANG YI TEXT SPARSIFICATION VIA LOCAL MAXIMA ................................. 290 PILU CRESCENZI, ALBERTO DEL LUNGO, ROBERTO GROSSI, ELENA LODI, LINDA PAGLI, AND GIANLUCA ROSSI APPROXIMATE SWAPPED MATCHING ..................................... 302 AMIHOOD AMIR, MOSHE LEWENSTEIN, AND ELY PORAT A SEMANTIC THEORY FOR HETEROGENEOUS SYSTEM DESIGN ................... 312 RANCE CLEAVELAND AND GERALD L¨UTTGEN FORMAL VERIFICATION OF THE RICART-AGRAWALA ALGORITHM .................. 325 EKATERINA SEDLETSKY, AMIR PNUELI, AND MORDECHAI BEN-ARI ON DISTRIBUTION-SPECIFIC LEARNING WITH MEMBERSHIP QUERIES VERSUS PSEUDORANDOM GENERATION .......................................... 336 JOHANNES K¨OBLER AND WOLFGANG LINDNER TABLE OF CONTENTS XIII P 2 -COMPLETENESS: A CLASSICAL APPROACH FOR NEW RESULTS ................ 348 HOLGER SPAKOWSKI AND J¨ORG VOGEL IS THE STANDARD PROOF SYSTEM FOR SAT P-OPTIMAL? ..................... 361 JOHANNES K¨OBLER AND JOCHEN MESSNER A GENERAL FRAMEWORK FOR TYPES IN GRAPH REWRITING ................... 373 BARBARA K¨ONIG THE GROUND CONGRUENCE FOR CHI CALCULUS ............................. 385 YUXI FU AND ZHENRONG YANG INHERITANCE IN THE JOIN CALCULUS ..................................... 397 C´EDRIC FOURNET, COSIMO LANEVE, LUC MARANGET, AND DIDIER R´EMY APPROXIMATION ALGORITHMS FOR BANDWIDTH AND STORAGE ALLOCATION PROBLEMS UNDER REAL TIME CONSTRAINTS ............................... 409 STEFANO LEONARDI, ALBERTO MARCHETTI-SPACCAMELA, AND ANDREA VITALETTI DYNAMIC SPECTRUM ALLOCATION: THE IMPOTENCY OF DURATION NOTIFICATION ... 421 BALA KALYANASUNDARAM AND KIRK PRUHS THE FINE STRUCTURE OF GAME LAMBDA MODELS .......................... 429 PIETRO DI GIANANTONIO AND GIANLUCA FRANCO STRONG NORMALIZATION OF SECOND ORDER SYMMETRIC * -CALCULUS ............ 442 MICHEL PARIGOT SCHEDULING TO MINIMIZE THE AVERAGE COMPLETION TIME OF DEDICATED TASKS ............................................................. 454 FOTO AFRATI, EVRIPIDIS BAMPIS, ALEKSEI V. FISHKIN, KLAUS JANSEN, AND CLAIRE KENYON HUNTING FOR FUNCTIONALLY ANALOGOUS GENES ............................ 465 MICHAEL T. HALLETT AND JENS LAGERGREN KEEPING TRACK OF THE LATEST GOSSIP IN SHARED MEMORY SYSTEMS .......... 477 BHARAT ADSUL, ARANYAK MEHTA, AND MILIND SOHONI CONCURRENT KNOWLEDGE AND LOGICAL CLOCK ABSTRACTIONS ................. 489 AJAY D. KSHEMKALYANI DECIDABLE HIERARCHIES OF STARFREE LANGUAGES ........................... 503 CHRISTIAN GLASSER AND HEINZ SCHMITZ PREFIX LANGUAGES OF CHURCH-ROSSER LANGUAGES ......................... 516 JENS R. WOINOWSKI AUTHOR INDEX ................................................. 531
any_adam_object	1
author_GND	(DE-588)122489322
author_corporate	FST and TCS Delhi
author_corporate_role	aut
author_facet	FST and TCS Delhi
author_sort	FST and TCS Delhi
building	Verbundindex
bvnumber	BV013470033
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.758
callnumber-search	QA76.758
callnumber-sort	QA 276.758
callnumber-subject	QA - Mathematics
classification_rvk	SS 4800
classification_tum	DAT 510f
ctrlnum	(OCoLC)45736611 (DE-599)BVBBV013470033
dewey-full	005
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005
dewey-search	005
dewey-sort	15
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>01927nam a22004578cb4500</leader><controlfield tag="001">BV013470033</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010112 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001128s2000 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">960175083</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540414134</subfield><subfield code="9">3-540-41413-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45736611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013470033</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-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.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FST and TCS</subfield><subfield code="n">20</subfield><subfield code="d">2000</subfield><subfield code="c">Delhi</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10014961-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FST TCS 2000: Foundations of software technology and theoretical computer science</subfield><subfield code="b">20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings</subfield><subfield code="c">Sanjiv Kapoor ; Sanjiva Prasad (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">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 532 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">1974</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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">2000</subfield><subfield code="z">Delhi</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Kapoor, Sanjiv</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122489322</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">1974</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1974</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=009194594&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009194594</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2000 Delhi gnd-content
genre_facet	Konferenzschrift 2000 Delhi
id	DE-604.BV013470033
illustrated	Not Illustrated
indexdate	2024-07-09T18:46:27Z
institution	BVB
institution_GND	(DE-588)10014961-3
isbn	3540414134
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009194594
oclc_num	45736611
open_access_boolean
owner	DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706
owner_facet	DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706
physical	XIII, 532 S.
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	FST and TCS 20 2000 Delhi Verfasser (DE-588)10014961-3 aut FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings Sanjiv Kapoor ; Sanjiva Prasad (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 XIII, 532 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1974 Informatik Computer science Congresses Software engineering Congresses Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Delhi gnd-content Informatik (DE-588)4026894-9 s DE-604 Kapoor, Sanjiv 1959- Sonstige (DE-588)122489322 oth Lecture notes in computer science 1974 (DE-604)BV000000607 1974 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009194594&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings Lecture notes in computer science Informatik Computer science Congresses Software engineering Congresses Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4026894-9 (DE-588)1071861417
title	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings
title_auth	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings
title_exact_search	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings
title_full	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings Sanjiv Kapoor ; Sanjiva Prasad (ed.)
title_fullStr	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings Sanjiv Kapoor ; Sanjiva Prasad (ed.)
title_full_unstemmed	FST TCS 2000: Foundations of software technology and theoretical computer science 20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings Sanjiv Kapoor ; Sanjiva Prasad (ed.)
title_short	FST TCS 2000: Foundations of software technology and theoretical computer science
title_sort	fst tcs 2000 foundations of software technology and theoretical computer science 20th conference new delhi india december 13 15 2000 proceedings
title_sub	20th conference, New Delhi, India, December 13 - 15, 2000 ; proceedings
topic	Informatik Computer science Congresses Software engineering Congresses Informatik (DE-588)4026894-9 gnd
topic_facet	Informatik Computer science Congresses Software engineering Congresses Konferenzschrift 2000 Delhi
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009194594&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT fstandtcsdelhi fsttcs2000foundationsofsoftwaretechnologyandtheoreticalcomputerscience20thconferencenewdelhiindiadecember13152000proceedings AT kapoorsanjiv fsttcs2000foundationsofsoftwaretechnologyandtheoreticalcomputerscience20thconferencenewdelhiindiadecember13152000proceedings

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