Automata, languages and programming: 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1991
|
| Schriftenreihe: | Lecture notes in computer science
510 |
| Schlagworte: | |
| Beschreibung: | 762 S. graph. Darst. |
| ISBN: | 3540542337 0387542337 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004547852 | ||
| 003 | DE-604 | ||
| 005 | 20070322 | ||
| 007 | t | ||
| 008 | 911009s1991 d||| |||| 10||| eng d | ||
| 020 | |a 3540542337 |9 3-540-54233-7 | ||
| 020 | |a 0387542337 |9 0-387-54233-7 | ||
| 035 | |a (OCoLC)611607543 | ||
| 035 | |a (DE-599)BVBBV004547852 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-703 |a DE-739 |a DE-20 |a DE-19 |a DE-83 |a DE-11 |a DE-188 |a DE-384 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Automata, languages and programming |b 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings |c [ICALP '91]. J. Leach Albert ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1991 | |
| 300 | |a 762 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 510 | |
| 650 | 7 | |a Automates mathématiques, Théorie des - Congrès |2 ram | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 4 | |a Langages formels - Congrès | |
| 650 | 4 | |a Machines séquentielles, Théorie des - Congrès | |
| 650 | 7 | |a algorithme graphe |2 inriac | |
| 650 | 7 | |a algorithme parallèle |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |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 Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-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 1991 |z Madrid |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 3 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 689 | 5 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 5 | |5 DE-604 | |
| 689 | 6 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 6 | |5 DE-604 | |
| 689 | 7 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 7 | |5 DE-188 | |
| 700 | 1 | |a Leach Albert, Javier |e Sonstige |4 oth | |
| 711 | 2 | |a International Colloquium on Automata, Languages, and Programming |n 18 |d 1991 |c Madrid |j Sonstige |0 (DE-588)5031172-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 510 |w (DE-604)BV000000607 |9 510 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002798381 | ||
Datensatz im Suchindex
| _version_ | 1804118679878631424 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV004547852 |
| 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 550f DAT 500f |
| ctrlnum | (OCoLC)611607543 (DE-599)BVBBV004547852 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03356nam a2200865 cb4500</leader><controlfield tag="001">BV004547852</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070322 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">911009s1991 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540542337</subfield><subfield code="9">3-540-54233-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387542337</subfield><subfield code="9">0-387-54233-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611607543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004547852</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-384</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">511.3</subfield><subfield code="2">20</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 550f</subfield><subfield code="2">stub</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">Automata, languages and programming</subfield><subfield code="b">18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings</subfield><subfield code="c">[ICALP '91]. J. Leach Albert ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">762 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">510</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="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages formels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machines séquentielles, Théorie des - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme graphe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme parallèle</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">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie algorithmique</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">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</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">spécification</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">Machine theory</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="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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">1991</subfield><subfield code="z">Madrid</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><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="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" 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="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" 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="6" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="7" 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="7" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leach Albert, Javier</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Colloquium on Automata, Languages, and Programming</subfield><subfield code="n">18</subfield><subfield code="d">1991</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5031172-4</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">510</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">510</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002798381</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Madrid gnd-content |
| genre_facet | Konferenzschrift 1991 Madrid |
| id | DE-604.BV004547852 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:14:08Z |
| institution | BVB |
| institution_GND | (DE-588)5031172-4 |
| isbn | 3540542337 0387542337 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002798381 |
| oclc_num | 611607543 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-703 DE-739 DE-20 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-384 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-703 DE-739 DE-20 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-384 DE-706 |
| physical | 762 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings [ICALP '91]. J. Leach Albert ... (eds.) Berlin [u.a.] Springer 1991 762 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 510 Automates mathématiques, Théorie des - Congrès ram Langages de programmation - Congrès Langages formels - Congrès Machines séquentielles, Théorie des - Congrès algorithme graphe inriac algorithme parallèle inriac complexité inriac concurrence inriac géométrie algorithmique inriac langage formel inriac logique inriac programmation en logique inriac programmation fonctionnelle inriac réécriture inriac spécification inriac vérification inriac Machine theory Congresses Informatik (DE-588)4026894-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Automatentheorie (DE-588)4003953-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 1991 Madrid gnd-content Datenverarbeitung (DE-588)4011152-0 s DE-604 Programmiersprache (DE-588)4047409-4 s Programmierung (DE-588)4076370-5 s Automatentheorie (DE-588)4003953-5 s Theoretische Informatik (DE-588)4196735-5 s Formale Sprache (DE-588)4017848-1 s Informatik (DE-588)4026894-9 s DE-188 Leach Albert, Javier Sonstige oth International Colloquium on Automata, Languages, and Programming 18 1991 Madrid Sonstige (DE-588)5031172-4 oth Lecture notes in computer science 510 (DE-604)BV000000607 510 |
| spellingShingle | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings Lecture notes in computer science Automates mathématiques, Théorie des - Congrès ram Langages de programmation - Congrès Langages formels - Congrès Machines séquentielles, Théorie des - Congrès algorithme graphe inriac algorithme parallèle inriac complexité inriac concurrence inriac géométrie algorithmique inriac langage formel inriac logique inriac programmation en logique inriac programmation fonctionnelle inriac réécriture inriac spécification inriac vérification inriac Machine theory Congresses Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Datenverarbeitung (DE-588)4011152-0 gnd Programmiersprache (DE-588)4047409-4 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4196735-5 (DE-588)4011152-0 (DE-588)4047409-4 (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings |
| title_auth | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings |
| title_exact_search | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings |
| title_full | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings [ICALP '91]. J. Leach Albert ... (eds.) |
| title_fullStr | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings [ICALP '91]. J. Leach Albert ... (eds.) |
| title_full_unstemmed | Automata, languages and programming 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings [ICALP '91]. J. Leach Albert ... (eds.) |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 18th international colloquium madrid spain july 8 12 1991 proceedings |
| title_sub | 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings |
| topic | Automates mathématiques, Théorie des - Congrès ram Langages de programmation - Congrès Langages formels - Congrès Machines séquentielles, Théorie des - Congrès algorithme graphe inriac algorithme parallèle inriac complexité inriac concurrence inriac géométrie algorithmique inriac langage formel inriac logique inriac programmation en logique inriac programmation fonctionnelle inriac réécriture inriac spécification inriac vérification inriac Machine theory Congresses Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Datenverarbeitung (DE-588)4011152-0 gnd Programmiersprache (DE-588)4047409-4 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Automates mathématiques, Théorie des - Congrès Langages de programmation - Congrès Langages formels - Congrès Machines séquentielles, Théorie des - Congrès algorithme graphe algorithme parallèle complexité concurrence géométrie algorithmique langage formel logique programmation en logique programmation fonctionnelle réécriture spécification vérification Machine theory Congresses Informatik Theoretische Informatik Datenverarbeitung Programmiersprache Automatentheorie Formale Sprache Programmierung Konferenzschrift 1991 Madrid |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT leachalbertjavier automatalanguagesandprogramming18thinternationalcolloquiummadridspainjuly8121991proceedings AT internationalcolloquiumonautomatalanguagesandprogrammingmadrid automatalanguagesandprogramming18thinternationalcolloquiummadridspainjuly8121991proceedings |