Relational methods in computer science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2006
|
| Series: | Lecture Notes in Computer Science
3929 |
| Subjects: | |
| Online Access: | DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-355 DE-706 DE-739 Volltext |
| Physical Description: | 1 Online-Ressource (VIII, 262 S.) graph. Darst. |
| ISBN: | 3540333398 9783540333395 9783540333401 |
| DOI: | 10.1007/11734673 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022445222 | ||
| 003 | DE-604 | ||
| 005 | 20090825 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 070530s2006 gw d||| o|||| 00||| eng d | ||
| 015 | |a 06,N15,0036 |2 dnb | ||
| 020 | |a 3540333398 |c : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.) |9 3-540-33339-8 | ||
| 020 | |a 9783540333395 |9 978-3-540-33339-5 | ||
| 020 | |a 9783540333401 |c Online |9 978-3-540-33340-1 | ||
| 024 | 7 | |a 10.1007/11734673 |2 doi | |
| 024 | 3 | |a 9783540333395 | |
| 028 | 5 | 2 | |a 11734673 |
| 035 | |a (OCoLC)254710763 | ||
| 035 | |a (DE-599)BVBBV022445222 | ||
| 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 004 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Relational methods in computer science |b 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers |c Wendy MacCaull ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a 1 Online-Ressource (VIII, 262 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 3929 | |
| 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 |
| 650 | 0 | 7 | |a Boolesche Algebra |0 (DE-588)4146280-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Saint Catharines Ontario |2 gnd-content | |
| 689 | 0 | 0 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kleene-Algebra |0 (DE-588)4785751-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Boolesche Algebra |0 (DE-588)4146280-4 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a MacCaull, Wendy |e Sonstige |4 oth | |
| 711 | 2 | |a International Seminar on Relational Methods in Computer Science |n 8 |d 2005 |c Saint Catharines |j Sonstige |0 (DE-588)6510292-7 |4 oth | |
| 711 | 2 | |a International Workshop on Applications of Kleene Algebra |n 3 |d 2005 |c Saint Catharines |j Sonstige |0 (DE-588)6510293-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3929 |w (DE-604)BV014880109 |9 3929 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/11734673 |x Verlag |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015653203 | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-91 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-384 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/11734673 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1820875011105226752 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV022445222 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 000 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)254710763 (DE-599)BVBBV022445222 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/11734673 |
| 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">BV022445222</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090825</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">070530s2006 gw d||| o|||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N15,0036</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540333398</subfield><subfield code="c">: EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)</subfield><subfield code="9">3-540-33339-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540333395</subfield><subfield code="9">978-3-540-33339-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540333401</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-33340-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11734673</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540333395</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11734673</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254710763</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022445222</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">004</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="245" ind1="1" ind2="0"><subfield code="a">Relational methods in computer science</subfield><subfield code="b">8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers</subfield><subfield code="c">Wendy MacCaull ... (eds.)</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 (VIII, 262 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">3929</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="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</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">2005</subfield><subfield code="z">Saint Catharines Ontario</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</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">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">MacCaull, Wendy</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Seminar on Relational Methods in Computer Science</subfield><subfield code="n">8</subfield><subfield code="d">2005</subfield><subfield code="c">Saint Catharines</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6510292-7</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">3</subfield><subfield code="d">2005</subfield><subfield code="c">Saint Catharines</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6510293-9</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">3929</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3929</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11734673</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</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-015653203</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11734673</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/11734673</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/11734673</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/11734673</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/11734673</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/11734673</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/11734673</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11734673</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/11734673</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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Saint Catharines Ontario gnd-content |
| genre_facet | Konferenzschrift 2005 Saint Catharines Ontario |
| id | DE-604.BV022445222 |
| illustrated | Illustrated |
| index_date | 2024-07-02T17:34:10Z |
| indexdate | 2025-01-10T15:08:51Z |
| institution | BVB |
| institution_GND | (DE-588)6510292-7 (DE-588)6510293-9 |
| isbn | 3540333398 9783540333395 9783540333401 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015653203 |
| oclc_num | 254710763 |
| 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 (VIII, 262 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 | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers Wendy MacCaull ... (eds.) Berlin [u.a.] Springer 2006 1 Online-Ressource (VIII, 262 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 3929 Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Saint Catharines Ontario gnd-content Relationenalgebra (DE-588)4206494-6 s DE-604 Kleene-Algebra (DE-588)4785751-1 s Boolesche Algebra (DE-588)4146280-4 s 1\p DE-604 MacCaull, Wendy Sonstige oth International Seminar on Relational Methods in Computer Science 8 2005 Saint Catharines Sonstige (DE-588)6510292-7 oth International Workshop on Applications of Kleene Algebra 3 2005 Saint Catharines Sonstige (DE-588)6510293-9 oth Lecture Notes in Computer Science 3929 (DE-604)BV014880109 3929 https://doi.org/10.1007/11734673 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers Lecture Notes in Computer Science Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| subject_GND | (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)4146280-4 (DE-588)1071861417 |
| title | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers |
| title_auth | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers |
| title_exact_search | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers |
| title_exact_search_txtP | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers |
| title_full | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers Wendy MacCaull ... (eds.) |
| title_fullStr | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers Wendy MacCaull ... (eds.) |
| title_full_unstemmed | Relational methods in computer science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers Wendy MacCaull ... (eds.) |
| title_short | Relational methods in computer science |
| title_sort | relational methods in computer science 8th international seminar on relational methods in computer science 3rd international workshop on applications of kleene algebra workshop of cost action 274 tarski st catharines on canada february 22 26 2005 selected revised papers |
| title_sub | 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 ; selected revised papers |
| topic | Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Boolesche Algebra (DE-588)4146280-4 gnd |
| topic_facet | Kleene-Algebra Relationenalgebra Boolesche Algebra Konferenzschrift 2005 Saint Catharines Ontario |
| url | https://doi.org/10.1007/11734673 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT maccaullwendy relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers AT internationalseminaronrelationalmethodsincomputersciencesaintcatharines relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers AT internationalworkshoponapplicationsofkleenealgebrasaintcatharines relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers |