Relational and algebraic methods in computer science: 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6663 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | VIII, 361 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642210693 3642210694 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037426796 | ||
| 003 | DE-604 | ||
| 005 | 20110817 | ||
| 007 | t| | ||
| 008 | 110530s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N20 |2 dnb | ||
| 016 | 7 | |a 1011288419 |2 DE-101 | |
| 020 | |a 9783642210693 |c Pb. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.) |9 978-3-642-21069-3 | ||
| 020 | |a 3642210694 |c Pb. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.) |9 3-642-21069-4 | ||
| 024 | 3 | |a 9783642210693 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80062699 |
| 035 | |a (OCoLC)734052951 | ||
| 035 | |a (DE-599)DNB1011288419 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.101512 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a MAT 166f |2 stub | ||
| 100 | 1 | |a De Swart, Harrie |d 1944- |e Verfasser |0 (DE-588)120024691 |4 aut | |
| 245 | 1 | 0 | |a Relational and algebraic methods in computer science |b 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings |c Harrie de Swart (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a VIII, 361 S. |b graph. Darst. |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 6663 | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 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 Algebraische Methode |0 (DE-588)4141841-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Rotterdam |2 gnd-content | |
| 689 | 0 | 0 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 0 | 1 | |a Kleene-Algebra |0 (DE-588)4785751-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 711 | 2 | |a RAMICS |n 12 |d 2011 |c Rotterdam |j Sonstige |0 (DE-588)16158662-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6663 |w (DE-604)BV000000607 |9 6663 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3713538&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=022578963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022578963 | |
Datensatz im Suchindex
| _version_ | 1820875319898275840 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
BUILDING STRUCTURED THEORIES (INVITED PAPER) 1
BERNHARD MOELLER
SOCIAL NETWORKS: PRESTIGE, CENTRALITY, AND INFLUENCE (INVITED PAPER) . .
. 22 AGNIESZKA RUSINOWSKA, RUDOLF BERGHAMMER, HARRIE DE SWART, AND
MICHEL GRABISCH
SYNTHESISING TERMINATING TABLEAU CALCULI FOR RELATIONAL LOGICS (INVITED
PAPER) 40
RENATE A. SCHMIDT
FROM ARROW'S IMPOSSIBILITY TO SCHWARTZ'S TOURNAMENT EQUILIBRIUM SET
(INVITED TUTORIAL) 50
FELIX BRANDT
AUTOMATED ENGINEERING OF RELATIONAL AND ALGEBRAIC METHODS IN
ISABELLE/HOL (INVITED TUTORIAL) 52
SIMON FOSTER, GEORG STRUTH, AND TJARK WEBER
EXPLAINING VOTING PARADOXES; INCLUDING ARROW'S AND SEN'S THEOREMS
(INVITED TUTORIAL) 68
DONALD G. SAARI
RELATION ALGEBRAIC APPROACHES TO FUZZY RELATIONS (INVITED TUTORIAL) . .
70 MICHAEL WINTER
A FIRST-ORDER CALCULUS FOR ALLEGORIES 74
BAHAR AAMERI AND MICHAEL WINTER
RELATIONAL MODELLING AND SOLUTION OF CHESSBOARD PROBLEMS 92 RUDOLF
BERGHAMMER
A FUNCTIONAL, SUCCESSOR LIST BASED VERSION OF WARSHALFS ALGORITHM WITH
APPLICATIONS 109
RUDOLF BERGHAMMER
VARIABLE SIDE CONDITIONS AND GREATEST RELATIONS IN ALGEBRAIC SEPARATION
LOGIC 125
HAN-KING DANG AND PETER HOEFNER
AN ALGEBRAIC APPROACH TO PREFERENCE RELATIONS 141
IVO DUENTSCH AND EWA ORLOWSKA
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011288419
DIGITALISIERT DURCH
IMAGE 2
VIII TABLE OF CONTENTS
RELATIONAL AND MULTIRELATIONAL REPRESENTATION THEOREMS FOR COMPLETE
IDEMPOTENT LEFT SEMIRINGS 148
HITOSHI FURUSAWA AND KOKI NISHIZAWA
USING BISIMULATIONS FOR OPTIMALITY PROBLEMS IN MODEL REFINEMENT 164
ROLAND GLUECK
PATHFINDING THROUGH CONGRUENCES 180
ALEXANDER J. T. GURNEY AND TIMOTHY G. GRIFFIN
TOWARDS A TYPED OMEGA ALGEBRA 196
WALTER GUTTMANN
TOWARDS AN ALGEBRA OF ROUTING TABLES 212
PETER HOEFNER AND ANNABELLE MCLVER
DEPENDENTLY-TYPED FORMALISATION OF RELATION-ALGEBRAIC ABSTRACTIONS.
230 WOLFRAM KAHL
OMEGA ALGEBRAS AND REGULAR EQUATIONS 248
MICHAEL R. LAURENCE AND GEORG STRUTH
ON PROBABILISTIC KLEENE ALGEBRAS, AUTOMATA AND SIMULATIONS 264 ANNABELLE
MCLVER, TAHIRY M. RABEHAJA, AND GEORG STRUTH
AMPERSAND: APPLYING RELATION ALGEBRA IN PRACTICE 280
GERARD MICHELS, SEBASTIAAN JOOSTEN, JAAP VAN DER WOUDE, AND STEF JOOSTEN
PROGRAMMING FROM GALOIS CONNECTIONS 294
SHIN-CHENG MU AND JOSE NUNO OLIVEIRA
CONSTRUCTIONS AROUND PARTIALITIES 314
GUENTHER SCHMIDT
SPLITTING ATOMS IN RELATIONAL ALGEBRAS 331
PRATHAP SIDDAVAATAM AND MICHAEL WINTER
RELATIONAL HETEROGENEITY RELAXED BY SUBTYPING 347
JAAP VAN DER WOUDE AND STEF JOOSTEN
AUTHOR INDEX 363 |
| any_adam_object | 1 |
| author | De Swart, Harrie 1944- |
| author_GND | (DE-588)120024691 |
| author_facet | De Swart, Harrie 1944- |
| author_role | aut |
| author_sort | De Swart, Harrie 1944- |
| author_variant | s h d sh shd |
| building | Verbundindex |
| bvnumber | BV037426796 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 555f DAT 540f MAT 166f |
| ctrlnum | (OCoLC)734052951 (DE-599)DNB1011288419 |
| dewey-full | 005.101512 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.101512 |
| dewey-search | 005.101512 |
| dewey-sort | 15.101512 |
| 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">BV037426796</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110817</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110530s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N20</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011288419</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642210693</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-21069-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642210694</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">3-642-21069-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642210693</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80062699</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)734052951</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011288419</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101512</subfield><subfield code="2">22/ger</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 555f</subfield><subfield code="2">stub</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">MAT 166f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">De Swart, Harrie</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120024691</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relational and algebraic methods in computer science</subfield><subfield code="b">12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings</subfield><subfield code="c">Harrie de Swart (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 361 S.</subfield><subfield code="b">graph. Darst.</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">6663</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-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">2011</subfield><subfield code="z">Rotterdam</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="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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RAMICS</subfield><subfield code="n">12</subfield><subfield code="d">2011</subfield><subfield code="c">Rotterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16158662-4</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">6663</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6663</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3713538&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=022578963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022578963</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Rotterdam gnd-content |
| genre_facet | Konferenzschrift 2011 Rotterdam |
| id | DE-604.BV037426796 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:44Z |
| institution | BVB |
| institution_GND | (DE-588)16158662-4 |
| isbn | 9783642210693 3642210694 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022578963 |
| oclc_num | 734052951 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | VIII, 361 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | De Swart, Harrie 1944- Verfasser (DE-588)120024691 aut Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings Harrie de Swart (ed.) Berlin [u.a.] Springer 2011 VIII, 361 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6663 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Rotterdam gnd-content Relationenalgebra (DE-588)4206494-6 s Kleene-Algebra (DE-588)4785751-1 s DE-604 Algebraische Methode (DE-588)4141841-4 s Mathematische Logik (DE-588)4037951-6 s Algebraische Spezifikation (DE-588)4207192-6 s RAMICS 12 2011 Rotterdam Sonstige (DE-588)16158662-4 oth Lecture notes in computer science 6663 (DE-604)BV000000607 6663 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3713538&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022578963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | De Swart, Harrie 1944- Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings Lecture notes in computer science Algebraische Spezifikation (DE-588)4207192-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4037951-6 (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)4141841-4 (DE-588)1071861417 |
| title | Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings |
| title_auth | Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings |
| title_exact_search | Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings |
| title_full | Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings Harrie de Swart (ed.) |
| title_fullStr | Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings Harrie de Swart (ed.) |
| title_full_unstemmed | Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings Harrie de Swart (ed.) |
| title_short | Relational and algebraic methods in computer science |
| title_sort | relational and algebraic methods in computer science 12th international conference ramics 2011 rotterdam the netherlands may 30 june 3 2011 proceedings |
| title_sub | 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings |
| topic | Algebraische Spezifikation (DE-588)4207192-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| topic_facet | Algebraische Spezifikation Mathematische Logik Kleene-Algebra Relationenalgebra Algebraische Methode Konferenzschrift 2011 Rotterdam |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3713538&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022578963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT deswartharrie relationalandalgebraicmethodsincomputerscience12thinternationalconferenceramics2011rotterdamthenetherlandsmay30june32011proceedings AT ramicsrotterdam relationalandalgebraicmethodsincomputerscience12thinternationalconferenceramics2011rotterdamthenetherlandsmay30june32011proceedings |