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: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2008
|
| Series: | Lecture notes in computer science
4988 |
| Subjects: | |
| Online Access: | DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-703 DE-706 DE-739 DE-355 Volltext |
| Physical Description: | 1 Online-Ressource (X, 396 S.) graph. Darst. |
| ISBN: | 9783540789123 9783540789130 |
| DOI: | 10.1007/978-3-540-78913-0 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023298510 | ||
| 003 | DE-604 | ||
| 005 | 20130130 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080514s2008 gw d||| o|||| 10||| eng d | ||
| 020 | |a 9783540789123 |9 978-3-540-78912-3 | ||
| 020 | |a 9783540789130 |c Online |9 978-3-540-78913-0 | ||
| 024 | 7 | |a 10.1007/978-3-540-78913-0 |2 doi | |
| 035 | |a (OCoLC)836813777 | ||
| 035 | |a (DE-599)BVBBV023298510 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-19 |a DE-739 |a DE-473 |a DE-706 |a DE-91 |a DE-384 |a DE-M347 |a DE-703 |a DE-634 |a DE-355 | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 000 |2 stub | ||
| 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 1 Online-Ressource (X, 396 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |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)BV014880109 |9 4988 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-540-78913-0 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016483001 | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-91 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-384 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78913-0 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1820875036301459456 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV023298510 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 000 DAT 702f |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)836813777 (DE-599)BVBBV023298510 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-540-78913-0 |
| format | Electronic Conference Proceeding eBook |
| 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">BV023298510</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130130</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080514s2008 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540789123</subfield><subfield code="9">978-3-540-78912-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540789130</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-78913-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-78913-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)836813777</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023298510</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-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</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 000</subfield><subfield code="2">stub</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">1 Online-Ressource (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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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)BV014880109</subfield><subfield code="9">4988</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016483001</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78913-0</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Frauenwörth gnd-content |
| genre_facet | Konferenzschrift 2008 Frauenwörth |
| id | DE-604.BV023298510 |
| illustrated | Illustrated |
| index_date | 2024-07-02T20:45:36Z |
| indexdate | 2025-01-10T15:09:15Z |
| institution | BVB |
| institution_GND | (DE-588)6071413-X (DE-588)6071414-1 |
| isbn | 9783540789123 9783540789130 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016483001 |
| oclc_num | 836813777 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-739 DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-384 DE-M347 DE-703 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-19 DE-BY-UBM DE-739 DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-384 DE-M347 DE-703 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 396 S.) graph. Darst. |
| psigel | ZDB-2-SCS |
| 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 1 Online-Ressource (X, 396 S.) graph. Darst. txt rdacontent c rdamedia cr 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)BV014880109 4988 https://doi.org/10.1007/978-3-540-78913-0 Verlag Volltext |
| 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 |
| url | https://doi.org/10.1007/978-3-540-78913-0 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT berghammerrudolf relationsandkleenealgebraincomputerscience10thinternationalconferenceonrelationalmethodsincomputerscienceand5thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2008frauenworthgermanyapril7112008proceedings AT internationalconferenceonrelationalmethodsincomputersciencechiemseefrauenchiemsee relationsandkleenealgebraincomputerscience10thinternationalconferenceonrelationalmethodsincomputerscienceand5thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2008frauenworthgermanyapril7112008proceedings AT internationalconferenceonapplicationsofkleenealgebrachiemseefrauenchiemsee relationsandkleenealgebraincomputerscience10thinternationalconferenceonrelationalmethodsincomputerscienceand5thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2008frauenworthgermanyapril7112008proceedings |