Relations and Kleene algebra in computer science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5827 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 365 S. graph. Darst. |
| ISBN: | 9783642046384 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035764543 | ||
| 003 | DE-604 | ||
| 005 | 20100915 | ||
| 007 | t| | ||
| 008 | 091012s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N37,0070 |2 dnb | ||
| 016 | 7 | |a 996247556 |2 DE-101 | |
| 020 | |a 9783642046384 |c PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-04638-4 | ||
| 024 | 3 | |a 9783642046384 | |
| 028 | 5 | 2 | |a 12763399 |
| 035 | |a (OCoLC)553766843 | ||
| 035 | |a (DE-599)DNB996247556 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Relations and Kleene algebra in computer science |b 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings |c Rudolf Berghammer ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a VIII, 365 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 5827 | |
| 650 | 4 | |a Kleene-Algebra - Kongress - Doha <2009> | |
| 650 | 4 | |a Relationenalgebra - Kongress - Doha <2009> | |
| 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 Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Doha |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Kleene-Algebra |0 (DE-588)4785751-1 |D s |
| 689 | 1 | |8 2\p |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 11 |d 2009 |c Doha |j Sonstige |0 (DE-588)16024560-6 |4 oth | |
| 711 | 2 | |a International Conference on Applications of Kleene Algebra |n 6. |d 2009 |c Doha |j Sonstige |0 (DE-588)6104916-5 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5827 |w (DE-604)BV000000607 |9 5827 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018624362&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018624362 | |
Datensatz im Suchindex
| _version_ | 1820875180308692992 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
KNOWLEDGE AND STRUCTURE IN SOCIAL ALGORITHMS 1
ROHIT PARIKH
C O M P U T A T I O N AL SOCIAL C H O I CE U S I NG R E L A T I ON A L G
E B RA A ND R E L V I EW . . . 13
HARRIE DE SWART, RUDOLF BERGHAMMER, AND AGNIESZKA RUSINOWSKA
A MODEL OF INTERNET ROUTING USING SEMI-MODULES 29
JOHN N. BILLINGS AND TIMOTHY G. GRIFFIN
VISIBLY PUSHDOWN KLEENE ALGEBRA AND ITS USE IN INTERPROCEDURAL ANALYSIS
OF (MUTUALLY) RECURSIVE PROGRAMS 44
CLAUDE BOLDUC AND BECHIR KTARI
TOWARDS ALGEBRAIC SEPARATION LOGIC 59
HAN-HING DANG, PETER HOEFNER, AND BERNHARD MOELLER
DOMAIN AND ANTIDOMAIN SEMIGROUPS 73
JULES DESHARNAIS, PETER JIPSEN, AND GEORG STRUTH
COMPOSING PARTIALLY ORDERED MONADS 88
PATRIK EKLUND AND ROBERT HELGESSON
A RELATION-ALGEBRAIC APPROACH TO LIVENESS OF PLACE/TRANSITION NETS . .
103 ALEXANDER FRONK AND RUDOLF BERGHAMMER
*-CONTINUOUS IDEMPOTENT LEFT SEMIRINGS AND THEIR IDEAL COMPLETION . .
119 HITOSHI FURUSAWA AND FUMIYA SANDA
A SEMIRING APPROACH TO EQUIVALENCES, BISIMULATIONS AND CONTROL 134
ROLAND GLUECK, BERNHARD MOELLER, AND MICHEL SINTZOFF
GENERAL CORRECTNESS ALGEBRA 150
WALTER GUTTMANN
FOUNDATIONS OF CONCURRENT KLEENE ALGEBRA 166
C.A.R. HOARE, BERNHARD MOELLER, GEORG STRUTH, AND IAN WEHRMAN
ARMSTRONG'S INFERENCE RULES IN DEDEKIND CATEGORIES 187
TOSHIKAZU ISHIDA, KAZUMASA HONDA, AND YASUO KAWAHARA
DATA MINING, REASONING AND INCREMENTAL INFORMATION RETRIEVAL THROUGH NON
ENLARGEABLE RECTANGULAR RELATION COVERAGE 199 ALI JAOUA, REHAB DUWAIRI,
SAMIR ELLOUMI, AND SADOK BEN YAHIA
COLLAGORIES FOR RELATIONAL ADHESIVE REWRITING 211
WOLFRAM KAHL
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/996247556
DIGITALISIERT DURCH
IMAGE 2
VIII TABLE OF CONTENTS
CARDINAL ADDITION IN DISTRIBUTIVE ALLEGORIES 227
YASUO KAWAHARA AND MICHAEL WINTER
RELATIONAL METHODS IN THE ANALYSIS OF WHILE LOOPS: OBSERVATIONS OF
VERSATILITY 242
ASMA LOUHICHI, OLFA MRAIHI, LAMIA LABED JILANI, KHALED BSAIES, AND ALI
MILI
MODALITIES, RELATIONS, AND LEARNING: A RELATIONAL INTERPRETATION OF
LEARNING APPROACHES 260
MARTIN ERIC MUELLER
THE CUBE OF KLEENE ALGEBRAS AND THE TRIANGULAR PRISM OF MULTIRELATIONS
276
KOKI NISHIZAWA, NORIHIRO TSUMAGARI, AND HITOSHI FURUSAWA
DISCRETE DUALITY FOR RELATION ALGEBRAS AND CYLINDRIC ALGEBRAS 291 EWA
ORLOWSKA AND INGRID REWITZKY
CONTACT RELATIONS WITH APPLICATIONS 306
GUENTHER SCHMIDT AND RUDOLF BERGHAMMER
A WHILE PROGRAM NORMAL FORM THEOREM IN TOTAL CORRECTNESS 322 KIM SOLIN
COMPLEMENTS IN DISTRIBUTIVE ALLEGORIES 337
MICHAEL WINTER
ON THE SKELETON OF STONIAN P-ORTHOLATTICES 351
MICHAEL WINTER, TORSTEN HAHMANN, AND MICHAEL GRUNINGER
AUTHOR INDEX 367 |
| any_adam_object | 1 |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV035764543 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)553766843 (DE-599)DNB996247556 |
| 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 Mathematik |
| 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">BV035764543</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100915</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091012s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N37,0070</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">996247556</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642046384</subfield><subfield code="c">PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-04638-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642046384</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12763399</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)553766843</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB996247556</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relations and Kleene algebra in computer science</subfield><subfield code="b">11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; 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">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 365 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">5827</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kleene-Algebra - Kongress - Doha <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relationenalgebra - Kongress - Doha <2009></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">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">2009</subfield><subfield code="z">Doha</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">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><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">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="8">2\p</subfield><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">11</subfield><subfield code="d">2009</subfield><subfield code="c">Doha</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16024560-6</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">6.</subfield><subfield code="d">2009</subfield><subfield code="c">Doha</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6104916-5</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">5827</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5827</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018624362&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="883" ind1="1" ind2=" "><subfield code="8">2\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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018624362</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Doha gnd-content |
| genre_facet | Konferenzschrift 2009 Doha |
| id | DE-604.BV035764543 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:31Z |
| institution | BVB |
| institution_GND | (DE-588)16024560-6 (DE-588)6104916-5 |
| isbn | 9783642046384 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018624362 |
| oclc_num | 553766843 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | VIII, 365 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| 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 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings Rudolf Berghammer ... (eds.) Berlin [u.a.] Springer 2009 VIII, 365 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5827 Kleene-Algebra - Kongress - Doha <2009> Relationenalgebra - Kongress - Doha <2009> Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Doha gnd-content Informatik (DE-588)4026894-9 s Relationenalgebra (DE-588)4206494-6 s 1\p DE-604 Kleene-Algebra (DE-588)4785751-1 s 2\p DE-604 Berghammer, Rudolf 1952- Sonstige (DE-588)139235965 oth International Conference on Relational Methods in Computer Science 11 2009 Doha Sonstige (DE-588)16024560-6 oth International Conference on Applications of Kleene Algebra 6. 2009 Doha Sonstige (DE-588)6104916-5 oth Lecture Notes in Computer Science 5827 (DE-604)BV000000607 5827 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018624362&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings Lecture Notes in Computer Science Kleene-Algebra - Kongress - Doha <2009> Relationenalgebra - Kongress - Doha <2009> Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings |
| title_auth | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings |
| title_exact_search | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings |
| title_full | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings Rudolf Berghammer ... (eds.) |
| title_fullStr | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings Rudolf Berghammer ... (eds.) |
| title_full_unstemmed | Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings Rudolf Berghammer ... (eds.) |
| title_short | Relations and Kleene algebra in computer science |
| title_sort | relations and kleene algebra in computer science 11th international conference on relational methods in computer science relmics 2009 and 6th international conference on applications of kleene algebra aka 2009 doha qatar november 1 5 2009 proceedings |
| title_sub | 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 ; proceedings |
| topic | Kleene-Algebra - Kongress - Doha <2009> Relationenalgebra - Kongress - Doha <2009> Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Kleene-Algebra - Kongress - Doha <2009> Relationenalgebra - Kongress - Doha <2009> Kleene-Algebra Relationenalgebra Informatik Konferenzschrift 2009 Doha |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018624362&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT berghammerrudolf relationsandkleenealgebraincomputerscience11thinternationalconferenceonrelationalmethodsincomputersciencerelmics2009and6thinternationalconferenceonapplicationsofkleenealgebraaka2009dohaqatarnovember152009proceedings AT internationalconferenceonrelationalmethodsincomputersciencedoha relationsandkleenealgebraincomputerscience11thinternationalconferenceonrelationalmethodsincomputersciencerelmics2009and6thinternationalconferenceonapplicationsofkleenealgebraaka2009dohaqatarnovember152009proceedings AT internationalconferenceonapplicationsofkleenealgebradoha relationsandkleenealgebraincomputerscience11thinternationalconferenceonrelationalmethodsincomputersciencerelmics2009and6thinternationalconferenceonapplicationsofkleenealgebraaka2009dohaqatarnovember152009proceedings |