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
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin u.a.
Springer
2004
|
Schriftenreihe: | Lecture Notes in Computer Science
3051 |
Schlagworte: | |
Online-Zugang: | DE-91 DE-384 DE-19 DE-739 Volltext |
Beschreibung: | 1 Online-Ressource (X, 277 S.) Ill. |
ISBN: | 354022145X |
DOI: | 10.1007/b98117 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV035047794 | ||
003 | DE-604 | ||
007 | cr|uuu---uuuuu | ||
008 | 080910s2004 gw a||| o|||| 10||| eng d | ||
020 | |a 354022145X |9 3-540-22145-X | ||
024 | 7 | |a 10.1007/b98117 |2 doi | |
035 | |a (OCoLC)725522977 | ||
035 | |a (DE-599)BVBBV035047794 | ||
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-91 |a DE-739 |a DE-384 | ||
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 1 Online-Ressource (X, 277 S.) |b Ill. | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science |v 3051 | |
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)BV014880109 |9 3051 | |
856 | 4 | 0 | |u https://doi.org/10.1007/b98117 |x Verlag |3 Volltext |
912 | |a ZDB-2-LNC | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016716525 | |
966 | e | |u https://doi.org/10.1007/b98117 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/b98117 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/b98117 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/b98117 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1820875051149295616 |
---|---|
adam_text | |
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author_GND | (DE-588)139235965 |
building | Verbundindex |
bvnumber | BV035047794 |
classification_rvk | SS 4800 |
classification_tum | DAT 510f DAT 702f |
collection | ZDB-2-LNC |
ctrlnum | (OCoLC)725522977 (DE-599)BVBBV035047794 |
discipline | Informatik |
discipline_str_mv | Informatik |
doi_str_mv | 10.1007/b98117 |
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">BV035047794</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080910s2004 gw a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354022145X</subfield><subfield code="9">3-540-22145-X</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b98117</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725522977</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035047794</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-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</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">1 Online-Ressource (X, 277 S.)</subfield><subfield code="b">Ill.</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">3051</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)BV014880109</subfield><subfield code="9">3051</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b98117</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016716525</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b98117</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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/b98117</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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/b98117</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</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/b98117</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2003 Malente gnd-content |
genre_facet | Konferenzschrift 2003 Malente |
id | DE-604.BV035047794 |
illustrated | Illustrated |
index_date | 2024-07-02T21:55:26Z |
indexdate | 2025-01-10T15:09:29Z |
institution | BVB |
institution_GND | (DE-588)10080808-6 |
isbn | 354022145X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016716525 |
oclc_num | 725522977 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 |
owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 |
physical | 1 Online-Ressource (X, 277 S.) Ill. |
psigel | ZDB-2-LNC |
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 1 Online-Ressource (X, 277 S.) Ill. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 3051 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)BV014880109 3051 https://doi.org/10.1007/b98117 Verlag Volltext |
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 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_exact_search_txtP | 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 | Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd |
topic_facet | Kleene-Algebra Relationenalgebra Konferenzschrift 2003 Malente |
url | https://doi.org/10.1007/b98117 |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT berghammerrudolf relationalandkleenealgebraicmethodsincomputerscience7thinternationalseminaronrelationalmethodsincomputerscienceand2ndinternationalworkshoponapplicationsofkleenealgebrabadmalentegermanymay12172003revisedselectedpapers AT internationalseminaronrelationalmethodsincomputersciencemalente relationalandkleenealgebraicmethodsincomputerscience7thinternationalseminaronrelationalmethodsincomputerscienceand2ndinternationalworkshoponapplicationsofkleenealgebrabadmalentegermanymay12172003revisedselectedpapers |