Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
2004
|
| Series: | Lecture Notes in Computer Science
3051 |
| Subjects: | |
| Physical Description: | X, 277 S. Ill. 235 mm x 155 mm |
| ISBN: | 354022145X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019383738 | ||
| 003 | DE-604 | ||
| 005 | 20041117 | ||
| 007 | t| | ||
| 008 | 040906s2004 gw a||| |||| 10||| eng d | ||
| 015 | |a 04,N23,0079 |2 dnb | ||
| 016 | 7 | |a 971089043 |2 DE-101 | |
| 020 | |a 354022145X |c : EUR 48.15 (freier Pr.), CHF 82.00 (freier Pr.) |9 3-540-22145-X | ||
| 024 | 3 | |a 9783540221456 | |
| 028 | 5 | 2 | |a 11011163 |
| 035 | |a (OCoLC)55799701 | ||
| 035 | |a (DE-599)BVBBV019383738 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-706 |a DE-11 | ||
| 050 | 0 | |a QA10 | |
| 082 | 0 | |a 512.74 |2 22 | |
| 082 | 0 | |a 004 |2 22 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 702f |2 stub | ||
| 245 | 1 | 0 | |a Relational and Kleene-algebraic methods in computer science |b 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers |c Rudolf Berghammer ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2004 | |
| 300 | |a X, 277 S. |b Ill. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 3051 | |
| 650 | 7 | |a Algèbre des relations |2 rasuqam | |
| 650 | 4 | |a Algèbres des relations - Congrès | |
| 650 | 4 | |a Logique algébrique - Congrès | |
| 650 | 7 | |a Logique algébrique |2 rasuqam | |
| 650 | 4 | |a Algebraic logic |v Congresses | |
| 650 | 4 | |a Relation algebras |v Congresses | |
| 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 2003 |z Malente |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 | |
| 700 | 1 | |a Berghammer, Rudolf |d 1952- |e Sonstige |0 (DE-588)139235965 |4 oth | |
| 711 | 2 | |a International Seminar on Relational Methods in Computer Science |n 7 |d 2003 |c Malente |j Sonstige |0 (DE-588)10080808-6 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3051 |w (DE-604)BV000000607 |9 3051 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012846709 | |
Record in the Search Index
| _version_ | 1820874952375533568 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV019383738 |
| callnumber-first | Q - Science |
| callnumber-label | QA10 |
| callnumber-raw | QA10 |
| callnumber-search | QA10 |
| callnumber-sort | QA 210 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 702f |
| ctrlnum | (OCoLC)55799701 (DE-599)BVBBV019383738 |
| dewey-full | 512.74 004 |
| dewey-hundreds | 500 - Natural sciences and mathematics 000 - Computer science, information, general works |
| dewey-ones | 512 - Algebra 004 - Computer science |
| dewey-raw | 512.74 004 |
| dewey-search | 512.74 004 |
| dewey-sort | 3512.74 |
| dewey-tens | 510 - Mathematics 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">BV019383738</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041117</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040906s2004 gw a||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04,N23,0079</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">971089043</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354022145X</subfield><subfield code="c">: EUR 48.15 (freier Pr.), CHF 82.00 (freier Pr.)</subfield><subfield code="9">3-540-22145-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540221456</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11011163</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)55799701</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019383738</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA10</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.74</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</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">Relational and Kleene-algebraic methods in computer science</subfield><subfield code="b">7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers</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">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 277 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">235 mm x 155 mm</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">3051</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algèbre des relations</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbres des relations - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique algébrique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique algébrique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relation algebras</subfield><subfield code="v">Congresses</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">2003</subfield><subfield code="z">Malente</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="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 Seminar on Relational Methods in Computer Science</subfield><subfield code="n">7</subfield><subfield code="d">2003</subfield><subfield code="c">Malente</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10080808-6</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">3051</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3051</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012846709</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Malente gnd-content |
| genre_facet | Konferenzschrift 2003 Malente |
| id | DE-604.BV019383738 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:55Z |
| institution | BVB |
| institution_GND | (DE-588)10080808-6 |
| isbn | 354022145X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012846709 |
| oclc_num | 55799701 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-706 DE-11 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-706 DE-11 |
| physical | X, 277 S. Ill. 235 mm x 155 mm |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers Rudolf Berghammer ... (eds.) Berlin u.a. Springer 2004 X, 277 S. Ill. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3051 Algèbre des relations rasuqam Algèbres des relations - Congrès Logique algébrique - Congrès Logique algébrique rasuqam Algebraic logic Congresses Relation algebras Congresses Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Malente gnd-content Relationenalgebra (DE-588)4206494-6 s DE-604 Kleene-Algebra (DE-588)4785751-1 s Berghammer, Rudolf 1952- Sonstige (DE-588)139235965 oth International Seminar on Relational Methods in Computer Science 7 2003 Malente Sonstige (DE-588)10080808-6 oth Lecture Notes in Computer Science 3051 (DE-604)BV000000607 3051 |
| spellingShingle | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers Lecture Notes in Computer Science Algèbre des relations rasuqam Algèbres des relations - Congrès Logique algébrique - Congrès Logique algébrique rasuqam Algebraic logic Congresses Relation algebras Congresses Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd |
| subject_GND | (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)1071861417 |
| title | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers |
| title_auth | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers |
| title_exact_search | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers |
| title_full | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers Rudolf Berghammer ... (eds.) |
| title_fullStr | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers Rudolf Berghammer ... (eds.) |
| title_full_unstemmed | Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers Rudolf Berghammer ... (eds.) |
| title_short | Relational and Kleene-algebraic methods in computer science |
| title_sort | relational and kleene algebraic methods in computer science 7th international seminar on relational methods in computer science and 2nd international workshop on applications of kleene algebra bad malente germany may 12 17 2003 revised selected papers |
| title_sub | 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 ; revised selected papers |
| topic | Algèbre des relations rasuqam Algèbres des relations - Congrès Logique algébrique - Congrès Logique algébrique rasuqam Algebraic logic Congresses Relation algebras Congresses Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd |
| topic_facet | Algèbre des relations Algèbres des relations - Congrès Logique algébrique - Congrès Logique algébrique Algebraic logic Congresses Relation algebras Congresses Kleene-Algebra Relationenalgebra Konferenzschrift 2003 Malente |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT berghammerrudolf relationalandkleenealgebraicmethodsincomputerscience7thinternationalseminaronrelationalmethodsincomputerscienceand2ndinternationalworkshoponapplicationsofkleenealgebrabadmalentegermanymay12172003revisedselectedpapers AT internationalseminaronrelationalmethodsincomputersciencemalente relationalandkleenealgebraicmethodsincomputerscience7thinternationalseminaronrelationalmethodsincomputerscienceand2ndinternationalworkshoponapplicationsofkleenealgebrabadmalentegermanymay12172003revisedselectedpapers |