Relations and Kleene algebra in computer science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2006
|
| Series: | Lecture notes in computer science
4136 |
| Subjects: | |
| Online Access: | BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBR01 UBY01 UPA01 Volltext |
| Physical Description: | 1 Online-Ressource (XI, 431 S.) graph. Darst. |
| ISBN: | 3540378731 9783540378730 |
| DOI: | 10.1007/11828563 |
Staff View
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022447271 | ||
| 003 | DE-604 | ||
| 005 | 20070709 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 070531s2006 gw |||| o||u| ||||||eng d | ||
| 015 | |a 06,N36,0049 |2 dnb | ||
| 020 | |a 3540378731 |c : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.) |9 3-540-37873-1 | ||
| 020 | |a 9783540378730 |c : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.) |9 978-3-540-37873-0 | ||
| 024 | 7 | |a 10.1007/11828563 |2 doi | |
| 024 | 3 | |a 9783540378730 | |
| 028 | 5 | 2 | |a 11828563 |
| 035 | |a (OCoLC)255543976 | ||
| 035 | |a (DE-599)BVBBV022447271 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-739 |a DE-706 |a DE-19 |a DE-91 |a DE-384 |a DE-M347 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 512.74 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 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 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings |c Renate A. Schmidt (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a 1 Online-Ressource (XI, 431 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 4136 | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |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 Relationenalgebra |0 (DE-588)4206494-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2006 |z Manchester |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 Schmidt, Renate A. |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Relational Methods in Computer Science |n 9 |d 2006 |c Manchester |j Sonstige |0 (DE-588)6512232-X |4 oth | |
| 711 | 2 | |a International Workshop on Applications of Kleene Algebra |n 4 |d 2006 |c Manchester |j Sonstige |0 (DE-588)6512233-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 4136 |w (DE-604)BV014880109 |9 4136 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/11828563 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015655219 | ||
| 966 | e | |u https://doi.org/10.1007/11828563 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l TUM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l UBA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11828563 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804136525525417984 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV022447271 |
| classification_rvk | ST 130 |
| classification_tum | DAT 510f DAT 000 DAT 702f |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)255543976 (DE-599)BVBBV022447271 |
| dewey-full | 512.74 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512.74 |
| dewey-search | 512.74 |
| dewey-sort | 3512.74 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| doi_str_mv | 10.1007/11828563 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03351nmm a2200709 cb4500</leader><controlfield tag="001">BV022447271</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070709 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">070531s2006 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N36,0049</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540378731</subfield><subfield code="c">: EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)</subfield><subfield code="9">3-540-37873-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540378730</subfield><subfield code="c">: EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)</subfield><subfield code="9">978-3-540-37873-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11828563</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540378730</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11828563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255543976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022447271</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-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.74</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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">9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings</subfield><subfield code="c">Renate A. Schmidt (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 431 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">4136</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="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">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</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">2006</subfield><subfield code="z">Manchester</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">Schmidt, Renate A.</subfield><subfield code="e">Sonstige</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">9</subfield><subfield code="d">2006</subfield><subfield code="c">Manchester</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6512232-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Applications of Kleene Algebra</subfield><subfield code="n">4</subfield><subfield code="d">2006</subfield><subfield code="c">Manchester</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6512233-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">4136</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4136</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11828563</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015655219</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11828563</subfield><subfield code="l">BTU01</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/11828563</subfield><subfield code="l">FHM01</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/11828563</subfield><subfield code="l">TUM01</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/11828563</subfield><subfield code="l">UBA01</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/11828563</subfield><subfield code="l">UBG01</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/11828563</subfield><subfield code="l">UBM01</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/11828563</subfield><subfield code="l">UBR01</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/11828563</subfield><subfield code="l">UBY01</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/11828563</subfield><subfield code="l">UPA01</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 2006 Manchester gnd-content |
| genre_facet | Konferenzschrift 2006 Manchester |
| id | DE-604.BV022447271 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T17:35:00Z |
| indexdate | 2024-07-09T20:57:47Z |
| institution | BVB |
| institution_GND | (DE-588)6512232-X (DE-588)6512233-1 |
| isbn | 3540378731 9783540378730 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015655219 |
| oclc_num | 255543976 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XI, 431 S.) graph. Darst. |
| psigel | ZDB-2-SCS |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| 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 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings Renate A. Schmidt (ed.) Berlin [u.a.] Springer 2006 1 Online-Ressource (XI, 431 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 4136 Informatik (DE-588)4026894-9 gnd rswk-swf Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Manchester gnd-content Informatik (DE-588)4026894-9 s Kleene-Algebra (DE-588)4785751-1 s DE-604 Relationenalgebra (DE-588)4206494-6 s Schmidt, Renate A. Sonstige oth International Conference on Relational Methods in Computer Science 9 2006 Manchester Sonstige (DE-588)6512232-X oth International Workshop on Applications of Kleene Algebra 4 2006 Manchester Sonstige (DE-588)6512233-1 oth Lecture notes in computer science 4136 (DE-604)BV014880109 4136 https://doi.org/10.1007/11828563 Verlag Volltext |
| spellingShingle | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings Lecture notes in computer science Informatik (DE-588)4026894-9 gnd Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)1071861417 |
| title | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings |
| title_auth | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings |
| title_exact_search | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings |
| title_exact_search_txtP | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings |
| title_full | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings Renate A. Schmidt (ed.) |
| title_fullStr | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings Renate A. Schmidt (ed.) |
| title_full_unstemmed | Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings Renate A. Schmidt (ed.) |
| title_short | Relations and Kleene algebra in computer science |
| title_sort | relations and kleene algebra in computer science 9th international conference on relational methods in computer science and 4th international workshop on applications of kleene algebra relmics aka 2006 manchester uk august september 2006 proceedings |
| title_sub | 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 ; proceedings |
| topic | Informatik (DE-588)4026894-9 gnd Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd |
| topic_facet | Informatik Kleene-Algebra Relationenalgebra Konferenzschrift 2006 Manchester |
| url | https://doi.org/10.1007/11828563 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT schmidtrenatea relationsandkleenealgebraincomputerscience9thinternationalconferenceonrelationalmethodsincomputerscienceand4thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2006manchesterukaugustseptember2006proceedings AT internationalconferenceonrelationalmethodsincomputersciencemanchester relationsandkleenealgebraincomputerscience9thinternationalconferenceonrelationalmethodsincomputerscienceand4thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2006manchesterukaugustseptember2006proceedings AT internationalworkshoponapplicationsofkleenealgebramanchester relationsandkleenealgebraincomputerscience9thinternationalconferenceonrelationalmethodsincomputerscienceand4thinternationalworkshoponapplicationsofkleenealgebrarelmicsaka2006manchesterukaugustseptember2006proceedings |