Automata, languages and programming: 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English French |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1986
|
| Schriftenreihe: | Lecture notes in computer science
226 |
| Schlagworte: | |
| Beschreibung: | IX, 473 S. Ill. |
| ISBN: | 3540167617 0387167617 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000487487 | ||
| 003 | DE-604 | ||
| 005 | 20111017 | ||
| 007 | t| | ||
| 008 | 870612s1986 xx a||| |||| 00||| eng d | ||
| 020 | |a 3540167617 |9 3-540-16761-7 | ||
| 020 | |a 0387167617 |9 0-387-16761-7 | ||
| 035 | |a (OCoLC)1069133234 | ||
| 035 | |a (DE-599)BVBBV000487487 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng |a fre | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-20 |a DE-824 |a DE-19 |a DE-11 |a DE-634 |a DE-384 |a DE-703 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 245 | 1 | 0 | |a Automata, languages and programming |b 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings |c [ICALP 86]. Ed. by Laurent Kott |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1986 | |
| 300 | |a IX, 473 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 226 | |
| 650 | 7 | |a Automates - Congrès |2 ram | |
| 650 | 7 | |a Langages formels - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 7 | |a cryptologie |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique programmation |2 inriac | |
| 650 | 7 | |a processus communicant |2 inriac | |
| 650 | 7 | |a récursivité |2 inriac | |
| 650 | 7 | |a spécification programme |2 inriac | |
| 650 | 7 | |a sémantique langage |2 inriac | |
| 650 | 4 | |a Computer programming |x Congresses | |
| 650 | 4 | |a Formal languages |x Congresses | |
| 650 | 4 | |a Machine theory |x Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |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 Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1986 |z Rennes |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 Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 2 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 4 | |5 DE-604 | |
| 689 | 5 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 5 | |5 DE-604 | |
| 689 | 6 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 6 | |5 DE-604 | |
| 700 | 1 | |a Kott, Laurent |4 edt | |
| 711 | 2 | |a International Colloquium on Automata, Languages and Programming |n 13 |d 1986 |c Rennes |j Sonstige |0 (DE-588)800035-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 226 |w (DE-604)BV000000607 |9 226 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000301030 | |
Datensatz im Suchindex
| _version_ | 1822490749538664448 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Kott, Laurent |
| author2_role | edt |
| author2_variant | l k lk |
| author_facet | Kott, Laurent |
| building | Verbundindex |
| bvnumber | BV000487487 |
| 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 |
| ctrlnum | (OCoLC)1069133234 (DE-599)BVBBV000487487 |
| 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 | Mathematik |
| 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">BV000487487</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111017</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">870612s1986 xx a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540167617</subfield><subfield code="9">3-540-16761-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387167617</subfield><subfield code="9">0-387-16761-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1069133234</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000487487</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><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</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">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, languages and programming</subfield><subfield code="b">13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings</subfield><subfield code="c">[ICALP 86]. Ed. by Laurent Kott</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 473 S.</subfield><subfield code="b">Ill.</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">226</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automates - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">cryptologie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus communicant</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">récursivité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="x">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">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">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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1986</subfield><subfield code="z">Rennes</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" 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="5" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" 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="6" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kott, Laurent</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Colloquium on Automata, Languages and Programming</subfield><subfield code="n">13</subfield><subfield code="d">1986</subfield><subfield code="c">Rennes</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)800035-9</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">226</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">226</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000301030</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1986 Rennes gnd-content |
| genre_facet | Konferenzschrift 1986 Rennes |
| id | DE-604.BV000487487 |
| illustrated | Illustrated |
| indexdate | 2025-01-28T11:10:19Z |
| institution | BVB |
| institution_GND | (DE-588)800035-9 |
| isbn | 3540167617 0387167617 |
| language | English French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000301030 |
| oclc_num | 1069133234 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-20 DE-824 DE-19 DE-BY-UBM DE-11 DE-634 DE-384 DE-703 DE-83 DE-188 DE-706 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-20 DE-824 DE-19 DE-BY-UBM DE-11 DE-634 DE-384 DE-703 DE-83 DE-188 DE-706 |
| physical | IX, 473 S. Ill. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings [ICALP 86]. Ed. by Laurent Kott Berlin [u.a.] Springer 1986 IX, 473 S. Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 226 Automates - Congrès ram Langages formels - Congrès ram Ordinateurs - Programmation - Congrès ram cryptologie inriac logique mathématique inriac logique programmation inriac processus communicant inriac récursivité inriac spécification programme inriac sémantique langage inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1986 Rennes gnd-content Datenverarbeitung (DE-588)4011152-0 s DE-604 Programmiersprache (DE-588)4047409-4 s Automatentheorie (DE-588)4003953-5 s Programmierung (DE-588)4076370-5 s Formale Sprache (DE-588)4017848-1 s Theoretische Informatik (DE-588)4196735-5 s Kott, Laurent edt International Colloquium on Automata, Languages and Programming 13 1986 Rennes Sonstige (DE-588)800035-9 oth Lecture notes in computer science 226 (DE-604)BV000000607 226 |
| spellingShingle | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings Lecture notes in computer science Automates - Congrès ram Langages formels - Congrès ram Ordinateurs - Programmation - Congrès ram cryptologie inriac logique mathématique inriac logique programmation inriac processus communicant inriac récursivité inriac spécification programme inriac sémantique langage inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Datenverarbeitung (DE-588)4011152-0 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)4011152-0 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings |
| title_auth | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings |
| title_exact_search | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings |
| title_full | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings [ICALP 86]. Ed. by Laurent Kott |
| title_fullStr | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings [ICALP 86]. Ed. by Laurent Kott |
| title_full_unstemmed | Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings [ICALP 86]. Ed. by Laurent Kott |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 13th international colloquium rennes france july 15 19 1986 proceedings |
| title_sub | 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings |
| topic | Automates - Congrès ram Langages formels - Congrès ram Ordinateurs - Programmation - Congrès ram cryptologie inriac logique mathématique inriac logique programmation inriac processus communicant inriac récursivité inriac spécification programme inriac sémantique langage inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik (DE-588)4196735-5 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Datenverarbeitung (DE-588)4011152-0 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Automates - Congrès Langages formels - Congrès Ordinateurs - Programmation - Congrès cryptologie logique mathématique logique programmation processus communicant récursivité spécification programme sémantique langage Computer programming Congresses Formal languages Congresses Machine theory Congresses Theoretische Informatik Automatentheorie Formale Sprache Datenverarbeitung Programmierung Programmiersprache Konferenzschrift 1986 Rennes |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kottlaurent automatalanguagesandprogramming13thinternationalcolloquiumrennesfrancejuly15191986proceedings AT internationalcolloquiumonautomatalanguagesandprogrammingrennes automatalanguagesandprogramming13thinternationalcolloquiumrennesfrancejuly15191986proceedings |