STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1046 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 690 S. graph. Darst. |
| ISBN: | 3540609229 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010616606 | ||
| 003 | DE-604 | ||
| 005 | 20070419 | ||
| 007 | t| | ||
| 008 | 960205s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 946648042 |2 DE-101 | |
| 020 | |a 3540609229 |9 3-540-60922-9 | ||
| 035 | |a (OCoLC)473469830 | ||
| 035 | |a (DE-599)BVBBV010616606 | ||
| 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-20 |a DE-19 |a DE-706 |a DE-11 |a DE-188 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA75.5.S958 1996 | |
| 082 | 0 | |a 004/.01/511 20 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a 68-06 |2 msc | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 111 | 2 | |a STACS |n 13 |d 1996 |c Grenoble |j Verfasser |0 (DE-588)2153619-3 |4 aut | |
| 245 | 1 | 0 | |a STACS 96 |b 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings |c Claude Puech ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a XII, 690 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 1046 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science -- Congresses | |
| 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 1996 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Puech, Claude |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1046 |w (DE-604)BV000000607 |9 1046 | |
| 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=007082910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007082910 | |
Datensatz im Suchindex
| _version_ | 1820874850091139072 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
LECTURE
NEW
TRENDS
IN
QUANTUM
COMPUTING
G.
BRASSARD
(UNIV.
MONTREAL,
CDN)
3
COMPLEXITY
THEORY
I
COMPRESSIBILITY
AND
RESOURCE
BOUNDED
MEASURE
H.
BUHRMAN
(CWI,
NL),
L.
LONGPRE
(UNIV.
TEXAS
AT
EL
PASO,
USA)
13
ON
THE
COMPLEXITY
OF
RANDOM
STRINGS
M.
KUMMER
(UNIV.
KARLSRUHE,
D)
25
AUTOMATA
THEORY
I
REMARKS
ON
GENERALIZED
POST
CORRESPONDENCE
PROBLEM
T.
HARJU,
J.
KARHUMAKI
(UNIV.
TURKU,
SF),
D.
KROB
(UNIV.
PARIS
VII,
F)
39
CYCLIC
LANGUAGES
AND
STRONGLY
CYCLIC
LANGUAGES
M.-P.
BDAL
(UNIV.
DENIS
DIDEROT,
F),
O.
CARTON
(UNIV.
MARNE-LA-VALLEE,
F),
C.
REUTENAUER
(UNIV.
QUEBEC
&
MONTREAL,
CDN)
49
COMPLEXITY
THEORY
II
RESOURCE-BOUNDED
BALANCED
GENERICITY,
STOCHASTICITY
AND
WEAK
RANDOMNESS
K.
AMBOS-SPIES
(UNIV.
HEIDELBERG,
D),
E.
MAYORDOMO
(UNIV.
ZARAGOZA,
E),
Y.
WANG,
X.
ZHENG
(UNIV.
HEIDELBERG,
D)
63
THE
COMPLEXITY
OF
GENERATING
AND
CHECKING
PROOFS
OF
MEMBERSHIP
H.
BUHRMAN
(CWI,
NL),
T.
THIERAUF
(UNIV.
ULM,
D)
75
OBSERVATIONS
ON
MEASURES
AND
LOWNESS
FOR
AP2
J.H.
LUTZ
(IOWA
STATE
UNIV.,
USA)
87
SOLVABLE
BLACK-BOX
GROUP
PROBLEMS
ARE
LOW
FOR
PP
V.
ARVIND,
N.V.
VINODCHANDRAN
(INST,
OF
MATHEMATICAL
SCIENCES,
IND)
99
AUTOMATA
THEORY
II
LANGUAGES
RECOGNIZED
BY
FINITE
APERIODIC
GROUPOIDS
M.
BEAUDRY
(UNIV.
SHERBROOKE,
CDN)
113
STAR-HEIGHT
OF
AN
IN-RATIONAL
SERIES
F.
BASSINO
(UNIV.
MARNE-LA-VALLEE,
F)
125
AN
APERIODIC
SET
OF
WANG
CUBES
K.
CULIK
II
(UNIV.
SOUTH
CAROLINA,
USA),
J.
KARI
(ITERATED
SYSTEMS
INC.,
USA)
137
LYNDON
FACTORIZATION
OF
INFINITE
WORDS
G.
MELANCON
(UNIV.
BORDEAUX
I,
F)
147
X
PARALLEL
ALGORITHMS
EMBEDDING
GRAPHS
WITH
BOUNDED
TREEWIDTH
INTO
OPTIMAL
HYPERCUBES
V.
HEUN,
E.W.
MAYR
(TECHN.
UNIV.
MUNCHEN,
D)
157
PARALLEL
COMPARABILITY
GRAPH
RECOGNITION
AND
MODULAR
DECOMPOSITION
M.
MORVAN,
L.
VIENNOT
(UNIV.
PARIS
VII,
F)
169
FAULT-TOLERANT
SHARED
MEMORY
SIMULATIONS
P.
BERENBRINK,
F.
MEYER
AUF
DER
HEIDE,
V.
STEMANN
(UNIV.
PADERBORN,
D)
181
ON
WORD-LEVEL
PARALLELISM
IN
FAULT-TOLERANT
COMPUTING
P.
INDYK
(STANFORD
UNIV.,
USA)
193
LEARNING
LEARNING
WITH
CONFIDENCE
J.
BARZDINS,
R.
FREIVALDS
(UNIV.
LATVIA,
LV),
C.H.
SMITH
(UNIV.
MARYLAND,
USA)
207
EXTRACTING
BEST
CONSENSUS
MOTIFS
FROM
POSITIVE
AND
NEGATIVE
EXAMPLES
E.
TATEISHI,
O.
MARUYAMA,
S.
MIYANO
(KYUSHU
UNIV.
J)
219
PAC
LEARNING
WITH
SIMPLE
EXAMPLES
F.
DENIS,
C.
D'HALLUIN,
R.
GILLERON
(UNIV.
LILLE
I,
F)
231
GENERAL
INDUCTIVE
INFERENCE
TYPES
BASED
ON
LINEARLY-ORDERED
SETS
A.
AMBAINIS,
R.
FREIVALDS
(UNIV.
LATVIA,
LV),
C.H.
SMITH
(UNIV.
MARYLAND,
USA)
243
PARALLEL
AND
DISTRIBUTED
SYSTEMS
I
ON
THE
POWER
OF
NON-OBSERVABLE
ACTIONS
IN
TIMED
AUTOMATA
B.
BERARD
(ENS
DE
CACHAN,
F),
P.
GASTIN
(UNIV.
PARIS
VII,
F),
A.
PETIT
(ENS
DE
CACHAN,
F)
257
TRACE
REWRITING:
COMPUTING
NORMAL
FORMS
IN
TIME
O
(N
LOG
RI)
M.
BERTOL,
V.
DIEKERT
(UNIV.
STUTTGART,
D)
269
A
DECISION
PROCEDURE
FOR
WELL-FORMED
LINEAR
QUANTUM
CELLULAR
AUTOMATA
C.
DURR,
H.
LD
THANH,
M.
SANTHA
(UNIV.
PARIS-SUD,
F)
281
COMPLEXITY
THEORY
III
ON
THE
COMPLEXITY
OF
WORST
CASE
AND
EXPECTED
TIME
IN
A
CIRCUIT
A.
JACOBY,
C.
SCHINDELHAUER
(UNIV.
LUBECK,
D)
295
ON
THE
EXISTENCE
OF
HARD
SPARSE
SETS
UNDER
WEAK
REDUCTIONS
J.-Y.
CAI
(STATE
UNIV.
NEW
YORK
AT
BUFFALO,
USA),
A.V.
NAIK
(UNIV.
CHICAGO,
USA),
D.
SIVAKUMAR
(STATE
UNIV.
NEW
YORK
AT
BUFFALO,
USA)
307
OPTIMAL
BOUNDS
ON
THE
APPROXIMATION
OF
BOOLEAN
FUNCTIONS
WITH
CONSEQUENCES
ON
THE
CONCEPT
OF
HARDNESS
A.E.
ANDREEV
(UNIV.
MOSCOW,
RU),
A.E.F.
CLEMENTI,
J.D.P.
ROLIM
(UNIV.
GENEVA,
CH)
319
FINE
SEPARATION
OF
AVERAGE
TIME
COMPLEXITY
CLASSES
J.-Y.
CAI,
A.L.
SELMAN
(UNIV.
NEW
YORK
AT
BUFFALO,
USA)
331
XI
INVITED
LECTURE
COMPOSITIONAL
SPECIFICATION
OF
TIMED
SYSTEMS
J.
SIFAKIS,
S.
YOVINE
347
CRYPTOGRAPHY
OPTIMAL
TREE-BASED
ONE-TIME
DIGITAL
SIGNATURE
SCHEMES
D.
BLEICHENBACHER,
U.M.
MAURER
(ETH
ZURICH,
CH)
363
THE
ACTION
OF
A
FEW
RANDOM
PERMUTATIONS
ON
R-TUPLES
AND
AN
APPLICATION
TO
CRYPTOGRAPHY
J.
FRIEDMAN
(UNIV.
BRITISH
COLUMBIA,
CDN),
A.
JOUX
(CELAR,
F),
Y.
ROICHMAN
(MASSACHUSSETTS
INST,
OF
TECH.,
USA),
J.
STERN
(ECOLE
NORMALE
SUPERIEURE
PARIS,
F),
J.-P.
TILLICH
(UNIV.
CAEN,
F)
375
A
UNIFIED
AND
GENERALIZED
TREATMENT
OF
AUTHETICATION
THEORY
U.M.
MAURER
(ETH
ZURICH,
CH)
387
LOGIC
AND
DATA
BASE
THEORY
MONADIC
SECOND
ORDER
LOGIC
ON
TREE-LIKE
STRUCTURES
I.
WALUKIEWICZ
(UNIV.
AARHUS,
DK)
401
ON
BIJECTIONS
VS.
UNARY
FUNCTIONS
T.
SCHWENTICK
(UNIV.
MAINZ,
D)
415
THE
3
FRENCHMEN
METHOD
PROVES
UNDECIDABILITY
OF
THE
UNIFORM
BOUNDEDNESS
FOR
SINGLE
RECURSIVE
RULE
TERNARY
DATALOG
PROGRAMS
J.
MARCINKOWSKI
(UNIV.
WROCLAW,
PL)
427
ALGORITHMS
I
A
COMBINATORIAL
DESIGN
APPROACH
TO
MAXCUT
T.
HOFMEISTER,
H.
LEFMANN
(UNIV.
DORTMUND,
D)
441
CHARACTERIZING
THE
COMPLEXITY
OF
SUBGRAPH
ISOMORPHISM
FOR
GRAPHS
OF
BOUNDED
PATH-WIDTH
A.
GUPTA
(SIMON
FRASER
UNIV.,
CDN),
N.
NISHIMURA
(UNIV.
WATERLOO,
CDN)
453
A
CHARECTERIZATION
OF
THE
QUADRILATERAL
MESHES
OF
A
SURFACE
WHICH
ADMIT
A
COMPATIBLE
HEXAHEDRAL
MESH
OF
ENCLOSED
VOLUME
S.A.
MITCHELL
(SANDIA
NATIONAL
LABORATORIES,
USA)
465
SEMANTICS
AND
PROGRAM
VERIFICATION
ON
THE
EXPRESSIVITY
OF
THE
MODAL
MU-CALCULUS
J.C.
BRADFIELD
(UNIV.
EDINBURGH,
UK)
479
READ-ONCE
PROJECTIONS
AND
FORMAL
CIRCUIT
VERIFICATION
WITH
BINARY
DECISION
DIAGRAMS
B.
BOLLIG,
I.
WEGENER
(UNIV.
DORTMUND,
D)
491
"OPTIMAL"
COLLECTING
SEMANTICS
FOR
ANALYSIS
IN
A
HIERARCHY
OF
LOGIC
PROGRAM
SEMANTICS
R.
GIACOBAZZI
(UNIV.
PISA,
I)
503
XII
PARALLEL
AND
DISTRIBUTED
SYSTEMS
II
FLIP-FLOP
NETS
V.
SCHMITT
(IRISA,
F)
517
LOWER
BOUNDS
FOR
COMPACT
ROUTING
E.
KRANAKIS,
D.
KRIZANC
(CARLETON
UNIV.,
CDN)
529
AUTOMATA
THEORY
III
ON
THE
SUCCESSOR
FUNCTION
IN
NON-CLASSICAL
NUMERATION
SYSTEMS
C.
FROUGNY
(UNIV.
PARIS
VIII,
F)
543
MINIMAL
FORBIDDEN
WORDS
AND
SYMBOLIC
DYNAMICS
M.-P.
BEAL
(UNIV.
DENIS
DIDEROT,
F),
F.
MIGNOSI,
A.
RESTIVO
(UNIV.
PALERMO,
I)
555
ALGORITHMS
II
UNIVERSAL
HASHING
AND
K-WISE
INDEPENDENT
RANDOM
VARIABLES
VIA
INTEGER
ARITHMETIC
WITHOUT
PRIMES
M.
DIETZFELBINGER
(UNIV.
DORTMUND,
D)
569
RANKING
AND
UNRANKING
TREES
USING
REGULAR
REDUCTIONS
P.
KEISEN
(MAX-PLANCK
INST,
FUR
INFORMATIK,
SAARBRIICKEN,
D)
581
ON
COMPETITIVE
ON-LINE
PAGING
WITH
LOOKAHEAD
D.
BRESLAUER
(UNIV.
AARHUS,
DK)
593
HYPOTHESIS
TESTING
IN
PERFECT
PHYLOGENY
FOR
A
BOUNDED
NUMBER
OF
CHARACTERS
J.
LAGERGREN
(THE
ROYAL
INST,
OF
TECHNOLOGY,
STOCKHOLM,
S)
605
COMMUNICATION
COMPLEXITY
THE
"LOG
RANK"
CONJECTURE
FOR
MODULAR
COMMUNICATION
COMPLEXITY
C.
MEINEL
(UNIV.
TRIER,
D),
S.
WAACK
(GEORG-AUGUST
UNIV.,
GOTTINGEN,
D)
619
UPPER
BOUNDS
ON
MULTIPARTY
COMMUNICATION
COMPLEXITY
OF
SHIFTS
A.
AMBAINIS
(UNIV.
LATVIA,
LV)
631
SOME
BOUNDS
ON
MULTIPARTY
COMMUNICATION
COMPLEXITY
OF
POINTER
JUMPING
C.
DAMM,
S.
JUKNA
(UNIV.
TRIER,
D),
J.
SGALL
(MATHEMATICAL
INST.,
AV,
PRAHA,
CR)
643
OPTIMAL
SCHEDULES
FOR
D-D
GRID
GRAPHS
WITH
COMMUNICATION
DELAYS
E.
BAMPIS
(UNIV.
EVRY,
F),
C.
DELORME
(UNIV.
PARIS-SUD,
F),
J.-C.
KBNIG
(UNIV.
EVRY,
F)
655
INVITED
LECTURE
LINEAR
PROGRAMMING
-
RANDOMIZATION
AND
ABSTRACT
FRAMEWORKS
B.
GARTNER,
E.
WELZL
(FREIE
UNIV.
BERLIN,
D)
669
INDEX
OF
AUTHORS
689 |
| any_adam_object | 1 |
| author_corporate | STACS Grenoble |
| author_corporate_role | aut |
| author_facet | STACS Grenoble |
| author_sort | STACS Grenoble |
| building | Verbundindex |
| bvnumber | BV010616606 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5.S958 1996 |
| callnumber-search | QA75.5.S958 1996 |
| callnumber-sort | QA 275.5 S958 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)473469830 (DE-599)BVBBV010616606 |
| dewey-full | 004/.01/51120 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/511 20 |
| dewey-search | 004/.01/511 20 |
| dewey-sort | 14 11 3511 220 |
| 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">BV010616606</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070419</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960205s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946648042</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540609229</subfield><subfield code="9">3-540-60922-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)473469830</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010616606</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-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5.S958 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/511 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</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">13</subfield><subfield code="d">1996</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2153619-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">STACS 96</subfield><subfield code="b">13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings</subfield><subfield code="c">Claude Puech ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 690 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">1046</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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 -- 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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Grenoble</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">Puech, Claude</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">1046</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1046</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=007082910&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-007082910</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Grenoble gnd-content |
| genre_facet | Konferenzschrift 1996 Grenoble |
| id | DE-604.BV010616606 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:17Z |
| institution | BVB |
| institution_GND | (DE-588)2153619-3 |
| isbn | 3540609229 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007082910 |
| oclc_num | 473469830 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-11 DE-188 DE-634 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-706 DE-11 DE-188 DE-634 DE-83 |
| physical | XII, 690 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | STACS 13 1996 Grenoble Verfasser (DE-588)2153619-3 aut STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings Claude Puech ... (eds.) Berlin [u.a.] Springer 1996 XII, 690 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1046 Literaturangaben Informatik Computer science -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Grenoble gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Puech, Claude Sonstige oth Lecture notes in computer science 1046 (DE-604)BV000000607 1046 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007082910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings Lecture notes in computer science Informatik Computer science -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings |
| title_auth | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings |
| title_exact_search | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings |
| title_full | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings Claude Puech ... (eds.) |
| title_fullStr | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings Claude Puech ... (eds.) |
| title_full_unstemmed | STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings Claude Puech ... (eds.) |
| title_short | STACS 96 |
| title_sort | stacs 96 13th annual symposium on theoretical aspects of computer science grenoble france february 22 24 1996 proceedings |
| title_sub | 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996 ; proceedings |
| topic | Informatik Computer science -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Informatik Computer science -- Congresses Theoretische Informatik Konferenzschrift 1996 Grenoble |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007082910&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT stacsgrenoble stacs9613thannualsymposiumontheoreticalaspectsofcomputersciencegrenoblefrancefebruary22241996proceedings AT puechclaude stacs9613thannualsymposiumontheoreticalaspectsofcomputersciencegrenoblefrancefebruary22241996proceedings |