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: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2006
|
| Series: | Lecture Notes in Computer Science
3929 |
| Subjects: | |
| Online Access: | Inhaltstext |
| Physical Description: | VIII, 262 S. graph. Darst. |
| ISBN: | 9783540333395 3540333398 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021658685 | ||
| 003 | DE-604 | ||
| 005 | 20170306 | ||
| 007 | t| | ||
| 008 | 060717s2006 gw d||| |||| 10||| eng d | ||
| 015 | |a 06,N15,0036 |2 dnb | ||
| 016 | 7 | |a 978973283 |2 DE-101 | |
| 020 | |a 9783540333395 |9 978-3-540-33339-5 | ||
| 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 | ||
| 024 | 3 | |a 9783540333395 | |
| 028 | 5 | 2 | |a 11734673 |
| 035 | |a (OCoLC)634446581 | ||
| 035 | |a (DE-599)BVBBV021658685 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 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 VIII, 262 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 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 | |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 | |
| 711 | 2 | |a Workshop of COST Action 274 TARSKI |d 2005 |c Saint Catharines |j Sonstige |0 (DE-588)6054231-7 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3929 |w (DE-604)BV000000607 |9 3929 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2786212&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014873211 | |
Record in the Search Index
| _version_ | 1820874982845054976 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV021658685 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)634446581 (DE-599)BVBBV021658685 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| 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">BV021658685</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170306</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">060717s2006 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N15,0036</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">978973283</subfield><subfield code="2">DE-101</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">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="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)634446581</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021658685</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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="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">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">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">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="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="711" ind1="2" ind2=" "><subfield code="a">Workshop of COST Action 274 TARSKI</subfield><subfield code="d">2005</subfield><subfield code="c">Saint Catharines</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6054231-7</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)BV000000607</subfield><subfield code="9">3929</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2786212&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014873211</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.BV021658685 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:05:16Z |
| indexdate | 2025-01-10T15:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)6510292-7 (DE-588)6510293-9 (DE-588)6054231-7 |
| isbn | 9783540333395 3540333398 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014873211 |
| oclc_num | 634446581 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | VIII, 262 S. graph. Darst. |
| 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 VIII, 262 S. graph. Darst. txt rdacontent n rdamedia nc 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 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 Workshop of COST Action 274 TARSKI 2005 Saint Catharines Sonstige (DE-588)6054231-7 oth Lecture Notes in Computer Science 3929 (DE-604)BV000000607 3929 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2786212&prov=M&dok_var=1&dok_ext=htm Inhaltstext |
| 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 | http://deposit.dnb.de/cgi-bin/dokserv?id=2786212&prov=M&dok_var=1&dok_ext=htm |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT maccaullwendy relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers AT internationalseminaronrelationalmethodsincomputersciencesaintcatharines relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers AT internationalworkshoponapplicationsofkleenealgebrasaintcatharines relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers AT workshopofcostaction274tarskisaintcatharines relationalmethodsincomputerscience8thinternationalseminaronrelationalmethodsincomputerscience3rdinternationalworkshoponapplicationsofkleenealgebraworkshopofcostaction274tarskistcatharinesoncanadafebruary22262005selectedrevisedpapers |