Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991:
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Amsterdam u.a.
Elsevier
1993
|
Schriftenreihe: | Theoretical computer science
115,1 |
Schlagworte: | |
Beschreibung: | Literaturangaben. - Einzelaufnahme eines Zs.-Heftes |
Beschreibung: | 189 S. graph. Darst. |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV009534153 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 940415s1993 d||| |||| 10||| eng d | ||
035 | |a (OCoLC)39750963 | ||
035 | |a (DE-599)BVBBV009534153 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91G | ||
084 | |a MAT 180f |2 stub | ||
111 | 2 | |a Summer Conference on Category Theory and Computer Science |n 4 |d 1991 |c Paris |j Verfasser |0 (DE-588)5062984-0 |4 aut | |
245 | 1 | 0 | |a Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 |c guest eds. S. Abramsky ... |
264 | 1 | |a Amsterdam u.a. |b Elsevier |c 1993 | |
300 | |a 189 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a Theoretical computer science |v 115,1 | |
500 | |a Literaturangaben. - Einzelaufnahme eines Zs.-Heftes | ||
650 | 4 | |a Informatik | |
650 | 4 | |a Categories (Mathematics) |v Congresses | |
650 | 4 | |a Computer science |v Congresses | |
650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Paris |2 gnd-content | |
689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
689 | 0 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Abramsky, Samson |d 1953- |e Sonstige |0 (DE-588)142172561 |4 oth | |
999 | |a oai:aleph.bib-bvb.de:BVB01-006295932 |
Datensatz im Suchindex
_version_ | 1804123871867043840 |
---|---|
any_adam_object | |
author_GND | (DE-588)142172561 |
author_corporate | Summer Conference on Category Theory and Computer Science Paris |
author_corporate_role | aut |
author_facet | Summer Conference on Category Theory and Computer Science Paris |
author_sort | Summer Conference on Category Theory and Computer Science Paris |
building | Verbundindex |
bvnumber | BV009534153 |
classification_tum | MAT 180f |
ctrlnum | (OCoLC)39750963 (DE-599)BVBBV009534153 |
discipline | Mathematik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01608nam a2200421 cb4500</leader><controlfield tag="001">BV009534153</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940415s1993 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39750963</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009534153</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="084" ind1=" " ind2=" "><subfield code="a">MAT 180f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Summer Conference on Category Theory and Computer Science</subfield><subfield code="n">4</subfield><subfield code="d">1991</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5062984-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991</subfield><subfield code="c">guest eds. S. Abramsky ...</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">189 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="0" ind2=" "><subfield code="a">Theoretical computer science</subfield><subfield code="v">115,1</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">Categories (Mathematics)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</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">Abramsky, Samson</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)142172561</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006295932</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1991 Paris gnd-content |
genre_facet | Konferenzschrift 1991 Paris |
id | DE-604.BV009534153 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:36:40Z |
institution | BVB |
institution_GND | (DE-588)5062984-0 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006295932 |
oclc_num | 39750963 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM |
owner_facet | DE-91G DE-BY-TUM |
physical | 189 S. graph. Darst. |
publishDate | 1993 |
publishDateSearch | 1993 |
publishDateSort | 1993 |
publisher | Elsevier |
record_format | marc |
series2 | Theoretical computer science |
spelling | Summer Conference on Category Theory and Computer Science 4 1991 Paris Verfasser (DE-588)5062984-0 aut Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 guest eds. S. Abramsky ... Amsterdam u.a. Elsevier 1993 189 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Theoretical computer science 115,1 Literaturangaben. - Einzelaufnahme eines Zs.-Heftes Informatik Categories (Mathematics) Congresses Computer science Congresses Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Paris gnd-content Kategorientheorie (DE-588)4120552-2 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Abramsky, Samson 1953- Sonstige (DE-588)142172561 oth |
spellingShingle | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 Informatik Categories (Mathematics) Congresses Computer science Congresses Kategorientheorie (DE-588)4120552-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
subject_GND | (DE-588)4120552-2 (DE-588)4011152-0 (DE-588)1071861417 |
title | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 |
title_auth | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 |
title_exact_search | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 |
title_full | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 guest eds. S. Abramsky ... |
title_fullStr | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 guest eds. S. Abramsky ... |
title_full_unstemmed | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 guest eds. S. Abramsky ... |
title_short | Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991 |
title_sort | selected papers of the 4th summer conference on category theory and computer science paris france september 1991 |
topic | Informatik Categories (Mathematics) Congresses Computer science Congresses Kategorientheorie (DE-588)4120552-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
topic_facet | Informatik Categories (Mathematics) Congresses Computer science Congresses Kategorientheorie Datenverarbeitung Konferenzschrift 1991 Paris |
work_keys_str_mv | AT summerconferenceoncategorytheoryandcomputerscienceparis selectedpapersofthe4thsummerconferenceoncategorytheoryandcomputerscienceparisfranceseptember1991 AT abramskysamson selectedpapersofthe4thsummerconferenceoncategorytheoryandcomputerscienceparisfranceseptember1991 |