Automata, languages, and programming: 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
944 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 686 S. |
| ISBN: | 3540600841 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010229454 | ||
| 003 | DE-604 | ||
| 005 | 20070327 | ||
| 007 | t| | ||
| 008 | 950612s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 944571212 |2 DE-101 | |
| 020 | |a 3540600841 |9 3-540-60084-1 | ||
| 035 | |a (OCoLC)605063378 | ||
| 035 | |a (DE-599)BVBBV010229454 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 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-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 004 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Automata, languages, and programming |b 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings |c Zoltan Fülöp ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a XIII, 686 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 944 | |
| 650 | 7 | |a Abstracte automaten |2 gtt | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 7 | |a Automates mathématiques, Théorie des |2 ram | |
| 650 | 4 | |a Langages formels - Congrès | |
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation |2 ram | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmation parallèle (informatique) |2 ram | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a algorithme |2 inriac | |
| 650 | 7 | |a appariement |2 inriac | |
| 650 | 7 | |a apprentissage |2 inriac | |
| 650 | 7 | |a automate |2 inriac | |
| 650 | 7 | |a codage |2 inriac | |
| 650 | 7 | |a complexité calcul |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a protocole communication |2 inriac | |
| 650 | 7 | |a robotique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a structure donnée |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Szeged |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Fülöp, Zoltán |e Sonstige |4 oth | |
| 711 | 2 | |a ICALP |n 22 |d 1995 |c Szeged |j Sonstige |0 (DE-588)2147556-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 944 |w (DE-604)BV000000607 |9 944 | |
| 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=006799856&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006799856 | |
Datensatz im Suchindex
| _version_ | 1820868263332020224 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
CONCURRENCY
I
THEORY
OF
2-STRUCTURES
A.
EHRENFEUCHT,
T.
HARJU,
G.
ROZENBERG
(INVITED
SPEAKER)
.
1
A
DOMAIN
FOR
CONCURRENT
TERMINATION:
A
GENERALIZATION
OF
MAZURKIEWICZ
TRACES
V.
DIEKERT,
P.
GASTIN
.
15
NONFINITE
AXIOMATIZABILITY
OF
THE
EQUATIONS!
THEORY
OF
SHUFFLE
Z.
ESIK,
M.
BERTOL
.
27
AUTOMATA
AND
FORMAL
LANGUAGES
I
THE
ALGEBRAIC
EQUIVALENT
OF
AFL
THEORY
W.
KUICH
.
39
FINITE
STATE
TRANSFORMATIONS
OF
IMAGES
K.
CULIK,
J.
KARI
.
51
POST
CORRESPONDENCE
PROBLEM:
WORDS
POSSIBLE
AS
PRIMITIVE
SOLUTIONS
M.
LIPPONEN
.
63
COMPUTING
THE
CLOSURE
OF
SETS
OF
WORDS
UNDER
PARTIAL
COMMUTATIONS
Y.
METIVIER,
G.
RICHOMME,
P.-A.
WACRENIER
.
75
ALGORITHMS
I
INTERVALIZING
FC-COLORED
GRAPHS
H.
L.
BODLAENDER,
B.
DE
FLUTTER
.
87
NC
ALGORITHMS
FOR
FINDING
A
MAXIMAL
SET
OF
PATHS
WITH
APPLICATION
TO
COMPRESSING
STRINGS
Z.-Z.
CHEN
.
99
ON
THE
CONSTRUCTION
OF
CLASSES
OF
SUFFIX
TREES
FOR
SQUARE
MATRICES:
ALGORITHMS
AND
APPLICATIONS
R.
GIANCARLO,
R.
GROSSI
.
ILL
HOW
TO
USE
THE
MINIMAL
SEPARATORS
OF
A
GRAPH
FOR
ITS
CHORDAL
TRIANGULATION
A.
PARRA,
P.
SCHEFFLER
.
123
XII
COMPUTABILITY
WEAKLY
USEFUL
SEQUENCES
S.
A.
FENNER,
J.
H.
LUTZ,
E.
MAYORDOMO
.
393
GRAPH
CONNECTIVITY,
MONADIC
NP
AND
BUILT-IN
RELATIONS
OF
MODERATE
DEGREE
T.
SCHWENTICK
.
405
THE
EXPRESSIVE
POWER
OF
CLOCKS
T.
A.
HENZINGER,
P.
W.
KOPKE,
H.
WONG-TOI
.
417
AUTOMATA
AND
FORMAL
LANGUAGES
III
GRAMMAR
SYSTEMS:
A
GRAMMATICAL
APPROACH
TO
DISTRIBUTION
AND
COOPERATION
G.
PAUN
(INVITED
SPEAKER)
.
429
COMPACTNESS
OF
SYSTEMS
OF
EQUATIONS
IN
SEMIGROUPS
T.
HARJU,
J.
KARHUMAKI,
W.
PLANDOWSKI
.
444
SENSING
VERSUS
NONSENSING
AUTOMATA
P.
DURIS,
Z.
GALIL
.
455
ALGORITHMS
IV
NEW
UPPER
BOUNDS
FOR
GENERALIZED
INTERSECTION
SEARCHING
PROBLEMS
P.
BOZANIS,
N.
KITSIOS,
C.
MAKRIS,
A.
TSAKALIDIS
.
464
OKFDDS
VERSUS
OBDDS
AND
OFDDS
B.
BECKER,
R.
DRECHSLER,
M.
THEOBALD
.
475
BICRITERIA
NETWORK
DESIGN
PROBLEMS
M.
V.
MARATHE,
R.
RAVI,
R.
SUNDARAM,
S.
S.
RAVI,
D.
J.
ROSENKRANTZ,
H.
B.
HUNT
HI
.
487
ON
DETERMINING
OPTIMAL
STRATEGIES
IN
PURSUIT
GAMES
IN
THE
PLANE
N.-M.
LE
.
499
XIII
FOUNDATIONS
OF
PROGRAMMING
EXTENSION
ORDERINGS
A.
RUBIO
.
511
THE
PUSHDOWN
METHOD
TO
OPTIMIZE
CHAIN
LOGIC
PROGRAMS
S.
GRECO,
D.
SAEED,
C.
ZANIOLO
.
523
AUTOMATIC
SYNTHESIS
OF
REAL
TIME
SYSTEMS
J.
H.
ANDERSEN,
K.
J.
KRISTOFFERSEN,
K.
G.
LARSEN,
J.
NIEDERMANN
.
535
SELF-CORRECTING
FOR
FUNCTION
FIELDS
OF
FINITE
TRANSCENDENTAL
DEGREE
M.
BLUM,
B.
CODENOTTI,
P.
GEMMELL,
T.
SHAHOUMIAN
.
547
LEARNING,
CODING,
ROBOTICS
MEASURE,
CATEGORY
AND
LEARNING
THEORY
L.
FORTNOW,
R.
FREIVALDS,
W.
I.
GASARCH,
M.
KUMMER,
S.
A.
KURTZ,
C.
SMITH,
F.
STEPHAN
.
558
A
CHARACTERIZATION
OF
THE
EXISTENCE
OF
ENERGIES
FOR
NEURAL
NETWORKS
M.
COSNARD,
E.
GOLES
.
570
VARIABLE-LENGTH
CODES
FOR
ERROR
CORRECTION
H.
JURGENSEN,
S.
KONSTANTINIDIS
.
581
GRAPHBOTS:
MOBILITY
IN
DISCRETE
SPACES
S.
KHULLER,
E.
RIVLIN,
A.
ROSENFELD
.
593
SEMANTICS
SOLVING
RECURSIVE
NET
EQUATIONS
E.
BEST
(INVITED
SPEAKER),
M.
KOUTNY
.
605
IMPLICIT
DEFINABILITY
AND
INFINITARY
LOGIC
IN
FINITE
MODEL
THEORY
A.
DAWAR,
L.
HELLA,
P.
G.
KOLAITIS
.
624
CONCURRENCY
II
THE
LIMIT
OF
SPLIT
N
~LANGUAGE
EQUIVALENCE
W.
VOGLER
.
636
DIVERGENCE
AND
FAIR
TESTING
V.
NATARAJAN,
R.
CLEAVELAND
.
648
CAUSALITY
FOR
MOBILE
PROCESSES
P.
DEGANO,
C.
PRIAMI
.
660
INTERNAL
MOBILITY
AND
AGENT-PASSING
CALCULI
D.
SANGIORGI
.
672
AUTHOR
INDEX
.
685 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010229454 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)605063378 (DE-599)BVBBV010229454 |
| 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">BV010229454</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070327</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950612s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944571212</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540600841</subfield><subfield code="9">3-540-60084-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605063378</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010229454</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</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">Automata, languages, and programming</subfield><subfield code="b">22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings</subfield><subfield code="c">Zoltan Fülöp ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 686 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">944</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Abstracte automaten</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automates mathématiques, Théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation parallèle (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">appariement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">apprentissage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">codage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">protocole communication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">robotique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">structure donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-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">1995</subfield><subfield code="z">Szeged</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="689" ind1="1" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fülöp, Zoltán</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICALP</subfield><subfield code="n">22</subfield><subfield code="d">1995</subfield><subfield code="c">Szeged</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2147556-8</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">944</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">944</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=006799856&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-006799856</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Szeged gnd-content |
| genre_facet | Konferenzschrift 1995 Szeged |
| id | DE-604.BV010229454 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:35Z |
| institution | BVB |
| institution_GND | (DE-588)2147556-8 |
| isbn | 3540600841 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006799856 |
| oclc_num | 605063378 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XIII, 686 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings Zoltan Fülöp ... (eds.) Berlin [u.a.] Springer 1995 XIII, 686 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 944 Abstracte automaten gtt Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des ram Langages formels - Congrès Langages formels ram Ordinateurs - Programmation ram Programmation (Informatique) - Congrès Programmation parallèle (informatique) ram Programmeertalen gtt algorithme inriac appariement inriac apprentissage inriac automate inriac codage inriac complexité calcul inriac concurrence inriac langage formel inriac logique inriac protocole communication inriac robotique inriac réécriture inriac structure donnée inriac sémantique inriac vérification inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Automatentheorie (DE-588)4003953-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Szeged gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Formale Sprache (DE-588)4017848-1 s Automatentheorie (DE-588)4003953-5 s Fülöp, Zoltán Sonstige oth ICALP 22 1995 Szeged Sonstige (DE-588)2147556-8 oth Lecture notes in computer science 944 (DE-604)BV000000607 944 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006799856&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings Lecture notes in computer science Abstracte automaten gtt Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des ram Langages formels - Congrès Langages formels ram Ordinateurs - Programmation ram Programmation (Informatique) - Congrès Programmation parallèle (informatique) ram Programmeertalen gtt algorithme inriac appariement inriac apprentissage inriac automate inriac codage inriac complexité calcul inriac concurrence inriac langage formel inriac logique inriac protocole communication inriac robotique inriac réécriture inriac structure donnée inriac sémantique inriac vérification inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4196735-5 (DE-588)4017848-1 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings |
| title_auth | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings |
| title_exact_search | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings |
| title_full | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings Zoltan Fülöp ... (eds.) |
| title_fullStr | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings Zoltan Fülöp ... (eds.) |
| title_full_unstemmed | Automata, languages, and programming 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings Zoltan Fülöp ... (eds.) |
| title_short | Automata, languages, and programming |
| title_sort | automata languages and programming 22nd international colloquium icalp 95 szeged hungary july 10 14 1995 proceedings |
| title_sub | 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995 ; proceedings |
| topic | Abstracte automaten gtt Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des ram Langages formels - Congrès Langages formels ram Ordinateurs - Programmation ram Programmation (Informatique) - Congrès Programmation parallèle (informatique) ram Programmeertalen gtt algorithme inriac appariement inriac apprentissage inriac automate inriac codage inriac complexité calcul inriac concurrence inriac langage formel inriac logique inriac protocole communication inriac robotique inriac réécriture inriac structure donnée inriac sémantique inriac vérification inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Abstracte automaten Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des Langages formels - Congrès Langages formels Ordinateurs - Programmation Programmation (Informatique) - Congrès Programmation parallèle (informatique) Programmeertalen algorithme appariement apprentissage automate codage complexité calcul concurrence langage formel logique protocole communication robotique réécriture structure donnée sémantique vérification Computer programming Congresses Formal languages Congresses Machine theory Congresses Automatentheorie Theoretische Informatik Formale Sprache Programmierung Konferenzschrift 1995 Szeged |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006799856&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fulopzoltan automatalanguagesandprogramming22ndinternationalcolloquiumicalp95szegedhungaryjuly10141995proceedings AT icalpszeged automatalanguagesandprogramming22ndinternationalcolloquiumicalp95szegedhungaryjuly10141995proceedings |