Implementation and application of automata: 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2088 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 342 S. graph. Darst. |
| ISBN: | 3540424911 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013865830 | ||
| 003 | DE-604 | ||
| 005 | 20020204 | ||
| 007 | t| | ||
| 008 | 010807s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 962078425 |2 DE-101 | |
| 020 | |a 3540424911 |9 3-540-42491-1 | ||
| 035 | |a (OCoLC)47797451 | ||
| 035 | |a (DE-599)BVBBV013865830 | ||
| 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-703 |a DE-522 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 004 |2 21 | |
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Implementation and application of automata |b 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers |c Sheng Yu ; Andrei Păun (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a XI, 342 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 2088 | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 7 | |a Automates mathématiques, Théorie des - Congrès |2 ram | |
| 650 | 7 | |a automate cellulaire |2 inriac | |
| 650 | 7 | |a automate |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a système file attente |2 inriac | |
| 650 | 7 | |a théorie automate |2 inriac | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |0 (DE-588)4003949-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Automat |0 (DE-588)4003949-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Yu, Sheng |e Sonstige |4 oth | |
| 711 | 2 | |a CIAA |n 5 |d 2000 |c London, Ontario |j Sonstige |0 (DE-588)10024666-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2088 |w (DE-604)BV000000607 |9 2088 | |
| 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=009484533&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009484533 | |
Datensatz im Suchindex
| _version_ | 1820874904201854976 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
LECTURES
SYNTHESIZING
STATE-BASED
OBJECT
SYSTEMS
FROM
LSC
SPECIYYCATIONS
:::::::
1
DAVID
HAREL,
HILLEL
KUGLER
APPLICATIONS
OF
FINITE-STATE
TRANSDUCERS
IN
NATURAL
LANGUAGE
PROCESSING
:
34
LAURI
KARTTUNEN
TECHNICAL
CONTRIBUTIONS
FAST
IMPLEMENTATIONS
OF
AUTOMATA
COMPUTATIONS
:::::::::::::::::::::
47
ANNE
BERGERON,
SYLVIE
HAMEL
REGULARLY
EXTENDED
TWO-WAY
NONDETERMINISTIC
TREE
AUTOMATA
:::::::::
57
ANNE
BR¨UGGEMANN-KLEIN,
DERICK
WOOD
GLUSHKOV
CONSTRUCTION
FOR
MULTIPLICITIES
:::::::::::::::::::::::::::::
67
PASCAL
CARON,
MARIANNE
FLOURET
IMPLICIT
STRUCTURES
TO
IMPLEMENT
NFA'S
FROM
REGULAR
EXPRESSIONS
::::::
80
JEAN-MARC
CHAMPARNAUD
NEW
FINITE
AUTOMATON
CONSTRUCTIONS
BASED
ON
CANONICAL
DERIVATIVES
:::
94
JEAN-MARC
CHAMPARNAUD,
D.
ZIADI
EXPERIMENTS
WITH
AUTOMATA
COMPRESSION
:::::::::::::::::::::::::::::
105
JAN
DACIUK
COMPUTING
RASTER
IMAGES
FROM
GRID
PICTURE
GRAMMARS
::::::::::::::::
113
FRANK
DREWES,
SIGRID
EWERT,
RENATE
KLEMPIEN-HINRICHS,
HANS-J¨ORG
KREOWSKI
A
BASIS
FOR
LOOPING
EXTENSIONS
TO
DISCRIMINATING-REVERSE
PARSING
:::::::
122
JACQUES
FARRYYE,
JOSYYE
FORTES
GYYALVEZ
AUTOMATA
FOR
PRO
V
TOPOLOGIES
:::::::::::::::::::::::::::::::::::::
135
PIERRE-CYRILLE
HYYEAM
REACHABILITY
AND
SAFETY
IN
QUEUE
SYSTEMS
::::::::::::::::::::::::::::
145
OSCAR
H.
IBARRA
GENERALIZING
THE
DISCRETE
TIMED
AUTOMATON
::::::::::::::::::::::::::
157
OSCAR
H.
IBARRA,
JIANWEN
SU
X
TABLE
OF
CONTENTS
FACTORIZATION
OF
AMBIGUOUS
FINITE-STATE
TRANSDUCERS
:::::::::::::::::::
170
ANDRYYE
KEMPE
MONA
IMPLEMENTATION
SECRETS
::::::::::::::::::::::::::::::::::::::
182
NILS
KLARLUND,
ANDERS
MYYLLER,
MICHAEL
I.
SCHWARTZBACH
CURSORS
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
195
VINCENT
LE
MAOUT
AN
AUTOMATON
MODEL
OF
USER-CONTROLLED
NAVIGATION
ON
THE
WEB
::::::::
208
K.
LODAYA,
R.
RAMANUJAM
DIRECT
CONSTRUCTION
OF
MINIMAL
ACYCLIC
SUBSEQUENTIAL
TRANSDUCERS
:::::::
217
STOYAN
MIHOV,
DENIS
MAUREL
GENERIC
YY
-REMOVAL
ALGORITHM
FOR
WEIGHTED
AUTOMATA
::::::::::::::::::
230
MEHRYAR
MOHRI
AN
O
(
N
2
)
ALGORITHM
FOR
CONSTRUCTING
MINIMAL
COVER
AUTOMATA
FOR
FINITE
LANGUAGES
::::::::::::::::::::::::::::::::::::::::::::::::::::::::
243
ANDREI
PYYAUN,
NICOLAE
S^ANTEAN,
SHENG
YU
UNARY
LANGUAGE
CONCATENATION
AND
ITS
STATE
COMPLEXITY
:::::::::::::::
252
GIOVANNI
PIGHIZZINI
IMPLEMENTATION
OF
A
STRATEGY
IMPROVEMENT
ALGORITHM
FOR
FINITE-STATE
PARITY
GAMES
:::::::::::::::::::::::::::::::::::::::::::::::::::::
263
DOMINIK
SCHMITZ,
JENS
V¨OGE
STATE
COMPLEXITY
AND
JACOBSTHAL'S
FUNCTION
:::::::::::::::::::::::::::
272
JEYYREY
SHALLIT
A
PACKAGE
FOR
THE
IMPLEMENTATION
OF
BLOCK
CODES
AS
FINITE
AUTOMATA
::::
279
PRITI
SHANKAR,
K.
SASIDHARAN,
VIKAS
AGGARWAL,
B.
SUNDAR
RAJAN
REGIONAL
LEAST-COST
ERROR
REPAIR
::::::::::::::::::::::::::::::::::::
293
M.
VILARES,
V.M.
DARRIBA,
F.J.
RIBADAS
THE
PARAMETERIZED
COMPLEXITY
OF
INTERSECTION
AND
COMPOSITION
OPERATIONS
ON
SETS
OF
FINITE-STATE
AUTOMATA
:::::::::::::::::::::::::
302
H.
TODD
WAREHAM
DIRECTLY
CONSTRUCTING
MINIMAL
DFA
S:
COMBINING
TWO
ALGORITHMS
BY
BRZOZOWSKI
:::::::::::::::::::::::::::::::::::::::::::::::::::::
311
BRUCE
W.
WATSON
THE
MERLIN
ENVIRONMENT
APPLIED
TO
?
-NFAS
:::::::::::::::::::::::::
318
LYNETTE
VAN
ZIJL,
JOHN-PAUL
HARPER,
FRANK
OLIVIER
TABLE
OF
CONTENTS
XI
ABSTRACTS
VISUAL
EXPLORATION
OF
GENERATION
ALGORITHMS
FOR
FINITE
AUTOMATA
ON
THE
WEB
:::::::::::::::::::::::::::::::::::::::::::::::::::::::
327
STEPHAN
DIEHL,
ANDREAS
KERREN,
TORSTEN
WELLER
TREEBAG
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::
329
FRANK
DREWES,
RENATE
KLEMPIEN-HINRICHS
WORD
RANDOM
ACCESS
COMPRESSION
::::::::::::::::::::::::::::::::::
331
JIYYRYYYY
DVORSKYYY,
VYYACLAV
SNYYAYYSEL
EXTENDED
SEQUENTIALIZATION
OF
TRANSDUCERS
:::::::::::::::::::::::::::
333
TAMYYAS
GAYYAL
LESSONS
FROM
INR
IN
THE
SPECIYYCATION
OF
TRANSDUCTIONS
:::::::::::::::::
335
J.
HOWARD
JOHNSON
PART-OF-SPEECH
TAGGING
WITH
TWO
SEQUENTIAL
TRANSDUCERS
:::::::::::::::
337
ANDRYYE
KEMPE
SOLVING
COMPLEX
PROBLEMS
EYYCIENTLY
WITH
ADAPTIVE
AUTOMATA
::::::::::
340
JO~AO
JOSYYE
NETO
AUTHOR
INDEX
:::::::::::::::::::::::::::::::::::::::::::::::::
343 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV013865830 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)47797451 (DE-599)BVBBV013865830 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV013865830</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020204</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010807s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962078425</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540424911</subfield><subfield code="9">3-540-42491-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47797451</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013865830</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-703</subfield><subfield code="a">DE-522</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">QA267</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="245" ind1="1" ind2="0"><subfield code="a">Implementation and application of automata</subfield><subfield code="b">5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers</subfield><subfield code="c">Sheng Yu ; Andrei Păun (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 342 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">2088</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 - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate cellulaire</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">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</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">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système file attente</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie automate</subfield><subfield code="2">inriac</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">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">Automat</subfield><subfield code="0">(DE-588)4003949-3</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">London</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yu, Sheng</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">5</subfield><subfield code="d">2000</subfield><subfield code="c">London, Ontario</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10024666-7</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">2088</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2088</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=009484533&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-009484533</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 London gnd-content |
| genre_facet | Konferenzschrift 2000 London |
| id | DE-604.BV013865830 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:09Z |
| institution | BVB |
| institution_GND | (DE-588)10024666-7 |
| isbn | 3540424911 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009484533 |
| oclc_num | 47797451 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-703 DE-522 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-703 DE-522 DE-83 DE-188 DE-706 |
| physical | XI, 342 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers Sheng Yu ; Andrei Păun (ed.) Berlin [u.a.] Springer 2001 XI, 342 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2088 Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des - Congrès ram automate cellulaire inriac automate inriac complexité inriac informatique théorique inriac langage formel inriac méthode formelle inriac système file attente inriac théorie automate inriac Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat (DE-588)4003949-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 London gnd-content Automat (DE-588)4003949-3 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Yu, Sheng Sonstige oth CIAA 5 2000 London, Ontario Sonstige (DE-588)10024666-7 oth Lecture notes in computer science 2088 (DE-604)BV000000607 2088 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484533&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers Lecture notes in computer science Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des - Congrès ram automate cellulaire inriac automate inriac complexité inriac informatique théorique inriac langage formel inriac méthode formelle inriac système file attente inriac théorie automate inriac Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd Automat (DE-588)4003949-3 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4003949-3 (DE-588)1071861417 |
| title | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers |
| title_auth | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers |
| title_exact_search | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers |
| title_full | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers Sheng Yu ; Andrei Păun (ed.) |
| title_fullStr | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers Sheng Yu ; Andrei Păun (ed.) |
| title_full_unstemmed | Implementation and application of automata 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers Sheng Yu ; Andrei Păun (ed.) |
| title_short | Implementation and application of automata |
| title_sort | implementation and application of automata 5th international conference ciaa 2000 london ontario canada july 24 25 2000 revised papers |
| title_sub | 5th international conference, CIAA 2000, London, Ontario, Canada, July 24 - 25, 2000 ; revised papers |
| topic | Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des - Congrès ram automate cellulaire inriac automate inriac complexité inriac informatique théorique inriac langage formel inriac méthode formelle inriac système file attente inriac théorie automate inriac Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd Automat (DE-588)4003949-3 gnd |
| topic_facet | Automates mathématiques, Théorie des - Congrès automate cellulaire automate complexité informatique théorique langage formel méthode formelle système file attente théorie automate Machine theory Congresses Theoretische Informatik Automat Konferenzschrift 2000 London |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009484533&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT yusheng implementationandapplicationofautomata5thinternationalconferenceciaa2000londonontariocanadajuly24252000revisedpapers AT ciaalondonontario implementationandapplicationofautomata5thinternationalconferenceciaa2000londonontariocanadajuly24252000revisedpapers |