Relations and Kleene algebra in computer science: 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2008
|
| Series: | Lecture notes in computer science
4988 |
| Subjects: | |
| Physical Description: | X, 396 S. graph. Darst. |
| ISBN: | 354078912X 9783540789123 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023256620 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 080414s2008 gw d||| |||| 10||| eng d | ||
| 020 | |a 354078912X |9 3-540-78912-X | ||
| 020 | |a 9783540789123 |9 978-3-540-78912-3 | ||
| 035 | |a (OCoLC)635327477 | ||
| 035 | |a (DE-599)BVBBV023256620 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-19 |a DE-83 |a DE-11 | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 702f |2 stub | ||
| 245 | 1 | 0 | |a Relations and Kleene algebra in computer science |b 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings |c Rudolf Berghammer ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a X, 396 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 4988 | |
| 650 | 0 | 7 | |a Relationenalgebra |0 (DE-588)4206494-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kleene-Algebra |0 (DE-588)4785751-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Frauenwörth |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Kleene-Algebra |0 (DE-588)4785751-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Berghammer, Rudolf |d 1952- |e Sonstige |0 (DE-588)139235965 |4 oth | |
| 711 | 2 | |a International Conference on Relational Methods in Computer Science |n 10 |d 2008 |c Chiemsee-Frauenchiemsee |j Sonstige |0 (DE-588)6071413-X |4 oth | |
| 711 | 2 | |a International Conference on Applications of Kleene Algebra |n 5 |d 2008 |c Chiemsee-Frauenchiemsee |j Sonstige |0 (DE-588)6071414-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 4988 |w (DE-604)BV000000607 |9 4988 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016441885 | |
Record in the Search Index
| _version_ | 1820875034429751296 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV023256620 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 702f |
| ctrlnum | (OCoLC)635327477 (DE-599)BVBBV023256620 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| 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">BV023256620</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080414s2008 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354078912X</subfield><subfield code="9">3-540-78912-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540789123</subfield><subfield code="9">978-3-540-78912-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635327477</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023256620</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 702f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relations and Kleene algebra in computer science</subfield><subfield code="b">10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings</subfield><subfield code="c">Rudolf Berghammer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 396 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">4988</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Frauenwörth</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</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">Berghammer, Rudolf</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)139235965</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Relational Methods in Computer Science</subfield><subfield code="n">10</subfield><subfield code="d">2008</subfield><subfield code="c">Chiemsee-Frauenchiemsee</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6071413-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Applications of Kleene Algebra</subfield><subfield code="n">5</subfield><subfield code="d">2008</subfield><subfield code="c">Chiemsee-Frauenchiemsee</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6071414-1</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">4988</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4988</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016441885</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Frauenwörth gnd-content |
| genre_facet | Konferenzschrift 2008 Frauenwörth |
| id | DE-604.BV023256620 |
| illustrated | Illustrated |
| index_date | 2024-07-02T20:30:04Z |
| indexdate | 2025-01-10T15:09:13Z |
| institution | BVB |
| institution_GND | (DE-588)6071413-X (DE-588)6071414-1 |
| isbn | 354078912X 9783540789123 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016441885 |
| oclc_num | 635327477 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | X, 396 S. graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings Rudolf Berghammer ... (eds.) Berlin [u.a.] Springer 2008 X, 396 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 4988 Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Frauenwörth gnd-content Informatik (DE-588)4026894-9 s Kleene-Algebra (DE-588)4785751-1 s DE-604 Relationenalgebra (DE-588)4206494-6 s Berghammer, Rudolf 1952- Sonstige (DE-588)139235965 oth International Conference on Relational Methods in Computer Science 10 2008 Chiemsee-Frauenchiemsee Sonstige (DE-588)6071413-X oth International Conference on Applications of Kleene Algebra 5 2008 Chiemsee-Frauenchiemsee Sonstige (DE-588)6071414-1 oth Lecture notes in computer science 4988 (DE-604)BV000000607 4988 |
| spellingShingle | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings Lecture notes in computer science Relationenalgebra (DE-588)4206494-6 gnd Kleene-Algebra (DE-588)4785751-1 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4206494-6 (DE-588)4785751-1 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings |
| title_auth | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings |
| title_exact_search | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings |
| title_exact_search_txtP | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings |
| title_full | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings Rudolf Berghammer ... (eds.) |
| title_fullStr | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings Rudolf Berghammer ... (eds.) |
| title_full_unstemmed | Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings Rudolf Berghammer ... (eds.) |
| title_short | Relations and Kleene algebra in computer science |
| title_sort | relations and kleene algebra in computer science 10th international conference on relational methods in computer science and 5th international workshop on applications of kleene algebra relmics aka 2008 frauenworth germany april 7 11 2008 proceedings |
| title_sub | 10th International Conference on Relational Methods in Computer Science and 5th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 ; proceedings |
| topic | Relationenalgebra (DE-588)4206494-6 gnd Kleene-Algebra (DE-588)4785751-1 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Relationenalgebra Kleene-Algebra Informatik Konferenzschrift 2008 Frauenwörth |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT berghammerrudolf relationsandkleenealgebraincomputerscience10thinternationalconferenceonrelationalmethodsincomputerscienceand5thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2008frauenworthgermanyapril7112008proceedings AT internationalconferenceonrelationalmethodsincomputersciencechiemseefrauenchiemsee relationsandkleenealgebraincomputerscience10thinternationalconferenceonrelationalmethodsincomputerscienceand5thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2008frauenworthgermanyapril7112008proceedings AT internationalconferenceonapplicationsofkleenealgebrachiemseefrauenchiemsee relationsandkleenealgebraincomputerscience10thinternationalconferenceonrelationalmethodsincomputerscienceand5thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2008frauenworthgermanyapril7112008proceedings |