Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics: Kingston, Canada, May 1990
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam u.a.
Elsevier
1993
|
| Schriftenreihe: | Theoretical computer science
111,1/2 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben. - Einzelaufnahme eines Zs.-Heftes |
| Beschreibung: | 291 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008399476 | ||
| 003 | DE-604 | ||
| 005 | 19991209 | ||
| 007 | t | ||
| 008 | 931201s1993 |||| 10||| eng d | ||
| 035 | |a (OCoLC)29372511 | ||
| 035 | |a (DE-599)BVBBV008399476 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA267 | |
| 084 | |a DAT 557f |2 stub | ||
| 111 | 2 | |a Workshop on the Mathematical Foundations of Programming Semantics |n 6 |d 1990 |c Kingston, Ontario |j Verfasser |0 (DE-588)5081665-2 |4 aut | |
| 245 | 1 | 0 | |a Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics |b Kingston, Canada, May 1990 |c guest-eds.: M. Mislove ... |
| 264 | 1 | |a Amsterdam u.a. |b Elsevier |c 1993 | |
| 300 | |a 291 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Theoretical computer science |v 111,1/2 | |
| 500 | |a Literaturangaben. - Einzelaufnahme eines Zs.-Heftes | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics |v Congresses | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Kingston Ontario |2 gnd-content | |
| 689 | 0 | 0 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Mislove, Michael W. |e Sonstige |0 (DE-588)121523446 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005533629 | ||
Datensatz im Suchindex
| _version_ | 1804122767468003328 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)121523446 |
| author_corporate | Workshop on the Mathematical Foundations of Programming Semantics Kingston, Ontario |
| author_corporate_role | aut |
| author_facet | Workshop on the Mathematical Foundations of Programming Semantics Kingston, Ontario |
| author_sort | Workshop on the Mathematical Foundations of Programming Semantics Kingston, Ontario |
| building | Verbundindex |
| bvnumber | BV008399476 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_tum | DAT 557f |
| ctrlnum | (OCoLC)29372511 (DE-599)BVBBV008399476 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01850nam a2200481 cb4500</leader><controlfield tag="001">BV008399476</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931201s1993 |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29372511</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008399476</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></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on the Mathematical Foundations of Programming Semantics</subfield><subfield code="n">6</subfield><subfield code="d">1990</subfield><subfield code="c">Kingston, Ontario</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5081665-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics</subfield><subfield code="b">Kingston, Canada, May 1990</subfield><subfield code="c">guest-eds.: M. Mislove ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">291 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="0" ind2=" "><subfield code="a">Theoretical computer science</subfield><subfield code="v">111,1/2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben. - Einzelaufnahme eines Zs.-Heftes</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=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">1990</subfield><subfield code="z">Kingston Ontario</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-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="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Mislove, Michael W.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121523446</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005533629</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Kingston Ontario gnd-content |
| genre_facet | Konferenzschrift 1990 Kingston Ontario |
| id | DE-604.BV008399476 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:19:06Z |
| institution | BVB |
| institution_GND | (DE-588)5081665-2 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005533629 |
| oclc_num | 29372511 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 291 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Theoretical computer science |
| spelling | Workshop on the Mathematical Foundations of Programming Semantics 6 1990 Kingston, Ontario Verfasser (DE-588)5081665-2 aut Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 guest-eds.: M. Mislove ... Amsterdam u.a. Elsevier 1993 291 S. txt rdacontent n rdamedia nc rdacarrier Theoretical computer science 111,1/2 Literaturangaben. - Einzelaufnahme eines Zs.-Heftes Informatik Mathematik Computer science Mathematics Congresses Programming languages (Electronic computers) Semantics Congresses Semantik (DE-588)4054490-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Kingston Ontario gnd-content Semantik (DE-588)4054490-4 s Programmierung (DE-588)4076370-5 s DE-604 Mathematik (DE-588)4037944-9 s Mislove, Michael W. Sonstige (DE-588)121523446 oth |
| spellingShingle | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 Informatik Mathematik Computer science Mathematics Congresses Programming languages (Electronic computers) Semantics Congresses Semantik (DE-588)4054490-4 gnd Programmierung (DE-588)4076370-5 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4076370-5 (DE-588)4037944-9 (DE-588)1071861417 |
| title | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 |
| title_auth | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 |
| title_exact_search | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 |
| title_full | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 guest-eds.: M. Mislove ... |
| title_fullStr | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 guest-eds.: M. Mislove ... |
| title_full_unstemmed | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics Kingston, Canada, May 1990 guest-eds.: M. Mislove ... |
| title_short | Selected papers of the 6th Workshop on the Mathematical Foundations of Programming Semantics |
| title_sort | selected papers of the 6th workshop on the mathematical foundations of programming semantics kingston canada may 1990 |
| title_sub | Kingston, Canada, May 1990 |
| topic | Informatik Mathematik Computer science Mathematics Congresses Programming languages (Electronic computers) Semantics Congresses Semantik (DE-588)4054490-4 gnd Programmierung (DE-588)4076370-5 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Informatik Mathematik Computer science Mathematics Congresses Programming languages (Electronic computers) Semantics Congresses Semantik Programmierung Konferenzschrift 1990 Kingston Ontario |
| work_keys_str_mv | AT workshoponthemathematicalfoundationsofprogrammingsemanticskingstonontario selectedpapersofthe6thworkshoponthemathematicalfoundationsofprogrammingsemanticskingstoncanadamay1990 AT mislovemichaelw selectedpapersofthe6thworkshoponthemathematicalfoundationsofprogrammingsemanticskingstoncanadamay1990 |