Mathematical foundations of computer science 1998: 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1450 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 846 S. graph. Darst. |
| ISBN: | 3540648275 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012068759 | ||
| 003 | DE-604 | ||
| 005 | 20070424 | ||
| 007 | t| | ||
| 008 | 980714s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 954047877 |2 DE-101 | |
| 020 | |a 3540648275 |9 3-540-64827-5 | ||
| 035 | |a (OCoLC)39842659 | ||
| 035 | |a (DE-599)BVBBV012068759 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-20 |a DE-19 |a DE-521 |a DE-634 |a DE-83 |a DE-188 |a DE-706 |a DE-11 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 004 |b LNCS 1450 | |
| 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 1998 |b 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings |c Luboš Brim ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a XVII, 846 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 1450 | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 4 | |a Informatique - Mathématiques - Congrès | |
| 650 | 7 | |a Informatique - Mathématiques - Congrès |2 ram | |
| 650 | 7 | |a Teoria da computacao |2 larpcal | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics |v 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 1998 |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 Brim, Luboš |d 1952- |e Sonstige |0 (DE-588)120310430 |4 oth | |
| 711 | 2 | |a MFCS |n 23 |d 1998 |c Brünn |j Sonstige |0 (DE-588)2171418-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1450 |w (DE-604)BV000000607 |9 1450 | |
| 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=008169635&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008169635 | |
Datensatz im Suchindex
| _version_ | 1820874876223750144 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
HYPERGRAPH
TRAVERSAL
REVISITED:
COST
MEASURES
AND
DYNAMIC
ALGORITHMS
.
1
G.
AUSIELLO,
G.
F.
ITALIANO,
AND
U.
NANNI
DEFINING
THE
JAVA
VIRTUAL
MACHINE
AS
PLATFORM
FOR
PROVABLY
CORRECT
JAVA
COMPILATION
.
17
E.
BORGER,
W.
SCHULTE
TOWARDS
A
THEORY
OF
RECURSIVE
STRUCTURES
.
36
D.
HAREL
MODULARIZATION
AND
ABSTRACTION:
THE
KEYS
TO
PRACTICAL
FORMAL
VERIFICATION
54
Y.
KESTEN,
A.
PNUELI
ON
THE
ROLE
OF
TIME
AND
SPACE
IN
NEURAL
COMPUTATION
.
72
W.
MAASS
FROM
ALGORITHMS
TO
WORKING
PROGRAMS:
ON
THE
USE
OF
PROGRAM
CHECKING
IN
LEDA
.
84
K.
MEHLHORN,
S.
NDHER
COMPUTATIONALLY-SOUND
CHECKERS
.
94
S.
MICALI
REASONING
ABOUT
THE
PAST
.
117
M.
NIELSEN
SATISFIABILITY
-
ALGORITHMS
AND
LOGIC
.
129
P.
PUDLAK
THE
JOYS
OF
BISIMULATION
.
142
C.
STIRLING
TOWARDS
ALGORITHMIC
EXPLANATION
OF
MIND
EVOLUTION
AND
FUNCTIONING
.
152
J.
WIEDERMANN
CONTRIBUTED
PAPERS
COMPLEXITY
OF
HARD
PROBLEMS
COMBINATORIAL
HARDNESS
PROOFS
FOR
POLYNOMIAL
EVALUATION
.
167
M.
ALDAZ,
J.
HEINTZ,
G.
MATERA,
J.
L.
MONTANA,
AND
L.
M.
PARDO
XII
TABLE
OF
CONTENTS
MINIMUM
PROPOSITIONAL
PROOF
LENGTH
IS
NP-HARD
TO
LINEARLY
APPROXIMATE
.
176
M.
ALEKHNOVICH,
S.
BUSS,
S.
MORAN,
AND
T.
PITASSI
RECONSTRUCTING
POLYATOMIC
STRUCTURES
FROM
DISCRETE
X-RAYS:
NP-COMPLETENESS
PROOF
FOR
THREE
ATOMS
.
185
M.
CHROBAK,
CH.
DURR
LOCALLY
EXPLICIT
CONSTRUCTION
OF
RODL
'
S
ASYMPTOTICALLY
GOOD
PACKINGS
.
194
N.
KUZJURIN
LOGIC
-
SEMANTICS
-
AUTOMATA
PROOF
THEORY
OF
FUZZY
LOGICS:
URQUHART
'
S
C
AND
RELATED
LOGICS
.
203
M.
BAAZ,
A.
CIABATTONI,
CH.
FERMULLER,
AND
H.
VEITH
NONSTOCHASTIC
LANGUAGES
AS
PROJECTIONS
OF
2-TAPE
QUASIDETERMINISTIC
LANGUAGES
.
213
R.
BONNER,
R.
FREIVALDS,
J.
LAPIPS,
AND
A.
LUKJANSKA
FLOW
LOGIC
FOR
IMPERATIVE
OBJECTS
.
220
F.
NIELSON,
H.
R.
NIELSON
EXPRESSIVE
COMPLETENESS
OF
TEMPORAL
LOGIC
OF
ACTION
.
229
A.
RABINOVICH
REWRITING
REDUCING
AC-TERMINATION
TO
TERMINATION
.
239
M.
C.
F.
FERREIRA,
D.
KESNER,
AND
L.
PUEL
ON
ONE-PASS
TERM
REWRITING
.
248
Z.
FULOP,
E.
JURVANEN,
M.
STEINBY,
AND
S.
VDGVOLGYI
ON
THE
WORD,
SUBSUMPTION,
AND
COMPLEMENT
PROBLEM
FOR
RECURRENT
TERM
SCHEMATIZATIONS
.
257
M.
HERMANN,
G.
SALZER
ENCODING
THE
HYDRA
BATTLE
AS
A
REWRITE
SYSTEM
.
267
H.
TOUZET
AUTOMATA
AND
TRANSDUCERS
COMPUTING
E-FREE
NFA
FROM
REGULAR
EXPRESSIONS
IN
O(NLOG
2
(N))
TIME
.
277
CH.
HAGENAH,
A.
MUSCHOLL
ITERATED
LENGTH-PRESERVING
RATIONAL
TRANSDUCTIONS
.
286
M.
LATTEUX,
D.
SIMPLOT,
AND
A.
TERLUTTE
TABLE
OF
CONTENTS
XIII
THE
HEAD
HIERARCHY
FOR
OBLIVIOUS
FINITE
AUTOMATA
WITH
POLYNOMIAL
ADVICE
COLLAPSES
.
296
H.
PETERSEN
THE
EQUIVALENCE
PROBLEM
FOR
DETERMINISTIC
PUSHDOWN
TRANSDUCERS
INTO
ABELIAN
GROUPS
.
305
G.
SENIZERGUES
TYPING
THE
SEMI-FULL
CLOSURE
OF
PURE
TYPE
SYSTEMS
.
316
G.
BARTHE
PREDICATIVE
POLYMORPHIC
SUBTYPING
.
326
M.
BENKE
A
COMPUTATIONAL
INTERPRETATION
OF
THE
A/R-CALCULUS
.
336
G.
M.
BIERMAN
POLYMORPHIC
SUBTYPING
WITHOUT
DISTRIBUTIVITY
.
346
J.
CHRZQSZCZ
CONCURRENCY
-
SEMANTICS
-
LOGIC
A
(NON-ELEMENTARY)
MODULAR
DECISION
PROCEDURE
FOR
LTRL
.
356
P.
GASTIN,
R.
MEYER,
AND
A.
PETIT
COMPLETE
ABSTRACT
INTERPRETATIONS
MADE
CONSTRUCTIVE
.
366
R.
GIACOBAZZI,
F.
RANZATO,
AND
F.
SCOZZARI
TIMED
BISIMULATION
AND
OPEN
MAPS
.
378
TH.
HUNE,
M.
NIELSEN
DEADLOCKING
STATES
IN
CONTEXT-FREE
PROCESS
ALGEBRA
.
388
J.
SRBA
CIRCUIT
COMPLEXITY
A
SUPERPOLYNOMIAL
LOWER
BOUND
FOR
A
CIRCUIT
COMPUTING
THE
CLIQUE
FUNCTION
WITH
AT
MOST
(1/6)
LOG
LOG
N
NEGATION
GATES
.
399
K.
AMANO,
A.
MARUOKA
ON
COUNTING
AC
0
CIRCUITS
WITH
NEGATIVE
CONSTANTS
.
409
A.
AMBAINIS,
D.
M.
BARRINGTON,
AND
H.
LSTHANH
A
SECOND
STEP
TOWARDS
CIRCUIT
COMPLEXITY-THEORETIC
ANALOGS
OF
RICE
'
S
THEOREM
.
418
L.
A.
HEMASPAANDRA,
J.
ROTHE
XIV
TABLE
OF
CONTENTS
PROGRAMMING
MODEL
CHECKING
REAL-TIME
PROPERTIES
OF
SYMMETRIC
SYSTEMS
.
427
E.
A.
EMERSON,
R.
J.
TREFLER
LOCALITY
OF
ORDER-INVARIANT
FIRST-ORDER
FORMULAS
.
437
M.
GROHE,
T.
SCHWENTICK
PROBABILISTIC
CONCURRENT
CONSTRAINT
PROGRAMMING:
TOWARDS
A
FULLY
ABSTRACT
MODEL
.
446
A.
DI
PIERRO,
H.
WIKLICKY
LAZY
FUNCTIONAL
ALGORITHMS
FOR
EXACT
REAL
FUNCTIONALS
.
456
A.
K.
SIMPSON
STRUCTURAL
COMPLEXITY
RANDOMNESS
VS.
COMPLETENESS:
ON
THE
DIAGONALIZATION
STRENGTH
OF
RESOURCE-BOUNDED
RANDOM
SETS
.
465
K.
AMBOS-SPIES,
S.
LEMPP,
AND
G.
MAINHARDT
POSITIVE
TURING
AND
TRUTH-TABLE
COMPLETENESS
FOR
NEXP
ARE
INCOMPARABLE
.
474
L.
BENTZIEN
TALLY
NP
SETS
AND
EASY
CENSUS
FUNCTIONS
.
483
J.
GOLDSMITH,
M.
OGIHARA,
AND
J.
ROTHE
AVERAGE-CASE
INTRACTABILITY
VS.
WORST-CASE
INTRACTABILITY
.
493
J.
KOBLER,
R.
SCHULER
FORMAL
LANGUAGES
SHUFFLE
ON
TRAJECTORIES:
THE
SCHIITZENBERGER
PRODUCT
AND
RELATED
OPERATIONS
.
503
T.
HARJU,
A.
MATEESCU,
AND
A.
SALOMAA
GAUEIAN
ELIMINATION
AND
A
CHARACTERIZATION
OF
ALGEBRAIC
POWER
SERIES
.
512
W.
KUICH
DOL-SYSTEMS
AND
SURFACE
AUTOMORPHISMS
.
522
L.-M.
LOPEZ,
P.
NARBEL
ABOUT
SYNCHRONIZATION
LANGUAGES
.
533
I.
RYL,
Y.
ROOS,
AND
M.
CLERBOUT
TABLE
OF
CONTENTS
XV
GRAPHS
AND
HYP
ER
GRAPHS
WHEN
CAN
AN
EQUATIONAL
SIMPLE
GRAPH
BE
GENERATED
BY
HYPEREDGE
REPLACEMENT
?
.
543
K.
BARTHELMANN
SPATIAL
AND
TEMPORAL
REFINEMENT
OF
TYPED
GRAPH
TRANSFORMATION
SYSTEMS
.
553
M.
GROFLE-RHODE,
F.
PARISI-PRESICCE,
AND
M.
SIMEONI
APPROXIMATING
MAXIMUM
INDEPENDENT
SETS
IN
UNIFORM
HYPERGRAPHS
.
562
TH.
HOFMEISTER,
H.
LEFMANN
REPRESENTING
HYPER-GRAPHS
BY
REGULAR
LANGUAGES
.
571
S.
LA
TORRE,
M.
NAPOLI
TURING
COMPLEXITY
AND
LOGIC
IMPROVED
TIME
AND
SPACE
HIERARCHIES
OF
ONE-TAPE
OFF-LINE
TMS
.
580
K.
IWAMA,
CH.
IWAMOTO
TARSKIAN
SET
CONSTRAINTS
ARE
IN
NEXPTIME
.
589
P.
MIELNICZUK,
L.
PACHOLSKI
V3*-EQUATIONAL
THEORY
OF
CONTEXT
UNIFICATION
IS
-HARD
.
597
S.
VOROBYOV
SPEEDING-UP
NONDETERMINISTIC
SINGLE-TAPE
OFF-LINE
COMPUTATIONS
BY
ONE
ALTERNATION
.
607
J.
WIEDERMANN
BINARY
DECISION
DIAGRAMS
FACIAL
CIRCUITS
OF
PLANAR
GRAPHS
AND
CONTEXT-FREE
LANGUAGES
.
616
B.
COURCELLE,
D.
LAPOIRE
OPTIMIZING
OBDDS
IS
STILL
INTRACTABLE
FOR
MONOTONE
FUNCTIONS
.
625
K.
IWAMA,
M.
NOZOE,
AND
S.
YAJIMA
BLOCKWISE
VARIABLE
ORDERINGS
FOR
SHARED
BDDS
.
636
H.
PREUFI,
A.
SRIVASTAV
ON
THE
COMPOSITION
PROBLEM
FOR
OBDDS
WITH
MULTIPLE
VARIABLE
ORDERS
.
645
A.
SLOBODOVA
COMBINATORICS
ON
WORDS
EQUATIONS
IN
TRANSFINITE
STRINGS
.
656
CH.
CHOFFRUT,
S.
HORVATH
XVI
TABLE
OF
CONTENTS
MINIMAL
FORBIDDEN
WORDS
AND
FACTOR
AUTOMATA
.
665
M.
CROCHEMORE,
F.
MIGNOSI,
AND
A.
RESTIVO
ON
DEFECT
EFFECT
OF
BI-INFINITE
WORDS
.
674
J.
KARHUMDKI,
J.
MANUCH,
AND
W.
PLANDOWSKI
ON
REPETITION-FREE
BINARY
WORDS
OF
MINIMAL
DENSITY
.
683
R.
KOLPAKOV,
G.
KUCHEROV,
AND
Y.
TARANNIKOV
TREES
AND
EMBEDDINGS
EMBEDDING
OF
HYPERCUBES
INTO
GRIDS
.
693
S.
L.
BEZRUKOV,
J.
D.
CHAVEZ,
L.
H.
HARPER,
M.
ROTTGER,
AND
U.-P.
SCHROEDER
TREE
DECOMPOSITIONS
OF
SMALL
DIAMETER
.
702
H.
L.
BODLAENDER,
T.
HAGERUP
DEGREE-PRESERVING
FORESTS
.
713
H.
BROERSMA,
A.
HUCK,
T.
KLOKS,
0.
KOPPIUS,
D.KRATSCH,
H.
MULLER,
AND
H.
TUINSTRA
A
PARALLELIZATION
OF
DIJKSTRA
'
S
SHORTEST
PATH
ALGORITHM
.
722
A.
CRAUSER,
K.
MEHLHOM,
U.
MEYER,
AND
P.
SANDERS
PICTURE
LANGUAGES
-
FUNCTION
SYSTEMS/COMPLEXITY
COMPARISON
BETWEEN
THE
COMPLEXITY
OF
A
FUNCTION
AND
THE
COMPLEXITY
OF
ITS
GRAPH
.
732
B.
DURAND,
S.
PORROT
IFS
AND
CONTROL
LANGUAGES
.
740
H.
FEMAU,
L.
STAIGER
ONE
QUANTIFIER
WILL
DO
IN
EXISTENTIAL
MONADIC
SECOND-ORDER
LOGIC
OVER
PICTURES
.
751
O.
MATZ
ON
SOME
RECOGNIZABLE
PICTURE-LANGUAGES
.
760
K.
REINHARDT
COMMUNICATION
-
COMPUTABLE
REAL
NUMBERS
ON
THE
COMPLEXITY
OF
WAVELENGTH
CONVERTERS
.
771
V.
AULETTA,
I.
CARAGIANNIS,
CH.
KAKLAMANIS,
AND
P.
PERSIANO
ON
BOOLEAN
VS.
MODULAR
ARITHMETIC
FOR
CIRCUITS
AND
COMMUNICATION
PROTOCOLS
.
780
C.
DAMM
TABLE
OF
CONTENTS
XVII
COMMUNICATION
COMPLEXITY
AND
LOWER
BOUNDS
ON
MULTILECTIVE
COMPUTATIONS
.
789
J.
HROMKOVIC
A
FINITE
HIERARCHY
OF
THE
RECURSIVELY
ENUMERABLE
REAL
NUMBERS
.
798
K.
WEIHRAUCH,
X.
ZHENG
CELLULAR
AUTOMATA
ONE
GUESS
ONE-WAY
CELLULAR
ARRAYS
.
807
TH.
BUCHHOLZ,
A.
KLEIN,
AND
M.
KUTRIB
TOPOLOGICAL
DEFINITIONS
OF
CHAOS
APPLIED
TO
CELLULAR
AUTOMATA
DYNAMICS
.
816
G.
CATTANEO,
L.
MARGARA
CHARACTERIZATION
OF
SENSITIVE
LINEAR
CELLULAR
AUTOMATA
WITH
RESPECT
TO
THE
COUNTING
DISTANCE
.
825
G.
MANZINI
ADDITIVE
CELLULAR
AUTOMATA
OVER
AND
THE
BOTTOM
OF
(CA, )
.
834
J.
MAZOYER,
I.
RAPAPORT
AUTHOR
INDEX
.
845 |
| any_adam_object | 1 |
| author_GND | (DE-588)120310430 |
| building | Verbundindex |
| bvnumber | BV012068759 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 |
| callnumber-search | QA76.9.M35 |
| callnumber-sort | QA 276.9 M35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1998 SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)39842659 (DE-599)BVBBV012068759 |
| 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">BV012068759</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070424</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980714s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954047877</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540648275</subfield><subfield code="9">3-540-64827-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39842659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012068759</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="b">LNCS 1450</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 1998</subfield><subfield code="b">23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings</subfield><subfield code="c">Luboš Brim ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 846 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">1450</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria da computacao</subfield><subfield code="2">larpcal</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</subfield><subfield code="x">Mathematics</subfield><subfield code="v">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">1998</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">Brim, Luboš</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120310430</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MFCS</subfield><subfield code="n">23</subfield><subfield code="d">1998</subfield><subfield code="c">Brünn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2171418-6</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">1450</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1450</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=008169635&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-008169635</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Brünn gnd-content |
| genre_facet | Konferenzschrift 1998 Brünn |
| id | DE-604.BV012068759 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:42Z |
| institution | BVB |
| institution_GND | (DE-588)2171418-6 |
| isbn | 3540648275 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008169635 |
| oclc_num | 39842659 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-188 DE-706 DE-11 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-188 DE-706 DE-11 |
| physical | XVII, 846 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings Luboš Brim ... (eds.) Berlin [u.a.] Springer 1998 XVII, 846 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1450 Fundamentele informatica gtt Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Teoria da computacao larpcal Informatik Mathematik Computer science Mathematics Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Brünn gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Brim, Luboš 1952- Sonstige (DE-588)120310430 oth MFCS 23 1998 Brünn Sonstige (DE-588)2171418-6 oth Lecture notes in computer science 1450 (DE-604)BV000000607 1450 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008169635&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings Lecture notes in computer science Fundamentele informatica gtt Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Teoria da computacao larpcal Informatik Mathematik Computer science Mathematics Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings |
| title_auth | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings |
| title_exact_search | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings |
| title_full | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings Luboš Brim ... (eds.) |
| title_fullStr | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings Luboš Brim ... (eds.) |
| title_full_unstemmed | Mathematical foundations of computer science 1998 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings Luboš Brim ... (eds.) |
| title_short | Mathematical foundations of computer science 1998 |
| title_sort | mathematical foundations of computer science 1998 23rd international symposium mfcs 98 brno czech republic august 24 28 1998 proceedings |
| title_sub | 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings |
| topic | Fundamentele informatica gtt Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Teoria da computacao larpcal Informatik Mathematik Computer science Mathematics Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Fundamentele informatica Informatique - Mathématiques - Congrès Teoria da computacao Informatik Mathematik Computer science Mathematics Congresses Theoretische Informatik Konferenzschrift 1998 Brünn |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008169635&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT brimlubos mathematicalfoundationsofcomputerscience199823rdinternationalsymposiummfcs98brnoczechrepublicaugust24281998proceedings AT mfcsbrunn mathematicalfoundationsofcomputerscience199823rdinternationalsymposiummfcs98brnoczechrepublicaugust24281998proceedings |