Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture Notes in Computer Science
7560 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040444762 | ||
| 003 | DE-604 | ||
| 005 | 20130115 | ||
| 007 | t | ||
| 008 | 120927s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N34 |2 dnb | ||
| 016 | 7 | |a 1025058909 |2 DE-101 | |
| 020 | |a 3642333133 |9 3-642-33313-3 | ||
| 020 | |a 9783642333132 |c Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.) |9 978-3-642-33313-2 | ||
| 024 | 3 | |a 9783642333132 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86157090 |
| 035 | |a (OCoLC)815934709 | ||
| 035 | |a (DE-599)DNB1025058909 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 005.101511324 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a MAT 155f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Relational and algebraic methods in computer science |b 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings |c Wolfram Kahl ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XII, 356 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 7560 | |
| 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 Isabelle |g Programm |0 (DE-588)4353452-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a HOL |0 (DE-588)4335765-9 |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 2012 |z Cambridge |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 | |
| 689 | 3 | 0 | |a HOL |0 (DE-588)4335765-9 |D s |
| 689 | 3 | 1 | |a Isabelle |g Programm |0 (DE-588)4353452-1 |D s |
| 689 | 3 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Kahl, Wolfram |e Sonstige |0 (DE-588)1026341213 |4 oth | |
| 711 | 2 | |a RAMiCS |n 13 |d 2012 |c Cambridge |j Sonstige |0 (DE-588)1026341302 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-33314-9 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7560 |w (DE-604)BV000000607 |9 7560 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4099794&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=025292530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025292530 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-7560 |
|---|---|
| DE-BY-TUM_katkey | 1892141 |
| DE-BY-TUM_media_number | 040071424496 |
| _version_ | 1816713819425079296 |
| adam_text |
IMAGE 1
TABLE O F CONTENTS
APPLICATIONS T O SOFTWARE SPECIFICATION A N D C O R R E C T N E S S
TRANSITIVE SEPARATION LOGIC 1
HAN-HING DANG AND BERNHARD MOLLER
UNIFYING LAZY AND STRICT COMPUTATIONS 17
WALTER GUTTMANN
FOUNDATIONS OF COLORING ALGEBRA WITH CONSEQUENCES FOR FEATURE-ORIENTED
PROGRAMMING 33
PETER HOFNER, BERNHARD MOLLER, AND ANDREAS ZELEND
TOWARDS AN ALGEBRA FOR REAL-TIME PROGRAMS 50
BRIJESH DONGOL, IAN J. HAYES, LARISSA MEINICKE, AND K I M SOLIN
M E C H A N I S E D R E S O N I N G I N R E L A T I O N A L A L G E B R
A S
AUTOMATED REASONING IN HIGHER-ORDER REGULAR ALGEBRA 66
ALASDAIR ARMSTRONG AND GEORG STRUTH
TOWARDS CERTIFIABLE IMPLEMENTATION OF GRAPH TRANSFORMATION VIA RELATION
CATEGORIES 82
WOLFRAM KAHL
DECIDING REGULAR EXPRESSIONS (IN-)EQUIVALENCE IN COQ 98
NELMA MOREIRA, DAVID PEREIRA, AND SIMAO MELO DE SOUSA
A L G E B R A I C P R O G R A M D E R I V A T I O N
SIMPLE RECTANGLE-BASED FUNCTIONAL PROGRAMS FOR COMPUTING
REFLEXIVE-TRANSITIVE CLOSURES 114
RUDOLF' BERGHAMMER AND SEBASTIAN FISCHER
USING RELATIONS TO DEVELOP A HASKELL PROGRAM FOR COMPUTING MAXIMUM
BIPARTITE MATCHINGS 130
NIKITA DANILENKO
RELATIONS AS EXECUTABLE SPECIFICATIONS: TAMING PARTIALITY AND
NON-DETERMINISM USING INVARIANTS 146
NUNO MACEDO, HUGO PAEHECO, AND ALCINO CUNHA
HTTP://D-NB.INFO/1025058909
IMAGE 2
XII TABLE OF CONTENTS
T H E O R E T I C A L F O U N D A T I O N S
LEFT-HANDED COMPLETENESS 162
DEXTER KOZEN AND ALEXANDRA SILVA
ON COMPLETENESS OF OMEGA-REGULAR ALGEBRAS 179
MICHAEL R. LAURENCE AND GEORG STRUTH
CATEGORIES OF ALGEBRAIC CONTEXTS EQUIVALENT T O IDEMPOTENT SEMIRINGS AND
DOMAIN SEMIRINGS 195
PETER JIPSEN
RELATIONAL REPRESENTATION THEOREM FOR POWERSET QUANTALES 207
KOKI NISHIZAWA AND HITOSHI FURUSAWA
POINT AXIOMS IN DEDEKIND CATEGORIES 219
HITOSHI FURUSAWA AND YASUO KAWAHARA
R E L A T I O N S A N D A L G O R I T H M S
TWO OBSERVATIONS IN DIOID BASED MODEL REFINEMENT 235
ROLAND GLIICK
RELATION ALGEBRAS, MATRICES, AND MULTI-VALUED DECISION DIAGRAMS 248
FRANCIS ATAMPORE AND MICHAEL WINTER
INCREMENTAL PSEUDO RECTANGULAR ORGANIZATION OF INFORMATION RELATIVE TO A
DOMAIN 264
SAHAR ISMAIL AND ALI JAOUA
P R E F E R E N C E R E L A T I O N S
RELATIONAL CONCEPTS IN SOCIAL CHOICE 278
GUNTHER SCHMIDT
AN ALGEBRA OF LAYERED COMPLEX PREFERENCES 294
BERNHARD MOLLER AND PATRICK ROOCKS
P R O P E R T I E S O F SPECIALISED R E L A T I O N S
CONTINUOUS RELATIONS AND RICHARDSON'S THEOREM 310
HITOSHI FURUSAWA, TOSHIKAZU ISHIDA, AND YASUO KAWAHARA
RELATIONS ON HYPERGRAPHS 326
JOHN G. STELL
EXTENSION PROPERTIES OF BOOLEAN CONTACT ALGEBRAS 342
IVO DIINTSCH AND SANJIANG LI
A U T H O R I N D E X 357 |
| any_adam_object | 1 |
| author_GND | (DE-588)1026341213 |
| building | Verbundindex |
| bvnumber | BV040444762 |
| classification_rvk | SS 4800 |
| classification_tum | MAT 155f DAT 555f DAT 706f DAT 325f |
| ctrlnum | (OCoLC)815934709 (DE-599)DNB1025058909 |
| dewey-full | 005.101511324 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.101511324 |
| dewey-search | 005.101511324 |
| dewey-sort | 15.101511324 |
| 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">BV040444762</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130115</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120927s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1025058909</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642333133</subfield><subfield code="9">3-642-33313-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642333132</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-33313-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642333132</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86157090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)815934709</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1025058909</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-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101511324</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 155f</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 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relational and algebraic methods in computer science</subfield><subfield code="b">13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings</subfield><subfield code="c">Wolfram Kahl ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 356 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">7560</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">Isabelle</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4353452-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</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">2012</subfield><subfield code="z">Cambridge</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="689" ind1="3" ind2="0"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Isabelle</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4353452-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahl, Wolfram</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026341213</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RAMiCS</subfield><subfield code="n">13</subfield><subfield code="d">2012</subfield><subfield code="c">Cambridge</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1026341302</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-33314-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7560</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7560</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=4099794&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=025292530&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-025292530</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Cambridge gnd-content |
| genre_facet | Konferenzschrift 2012 Cambridge |
| id | DE-604.BV040444762 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:37:10Z |
| institution | BVB |
| institution_GND | (DE-588)1026341302 |
| isbn | 3642333133 9783642333132 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025292530 |
| oclc_num | 815934709 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XII, 356 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; 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 Isabelle Programm (DE-588)4353452-1 gnd Programmverifikation (DE-588)4135576-3 gnd HOL (DE-588)4335765-9 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)4353452-1 (DE-588)4135576-3 (DE-588)4335765-9 (DE-588)4141841-4 (DE-588)1071861417 |
| title | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings |
| title_auth | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings |
| title_exact_search | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings |
| title_full | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.) |
| title_fullStr | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.) |
| title_full_unstemmed | Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.) |
| title_short | Relational and algebraic methods in computer science |
| title_sort | relational and algebraic methods in computer science 13th international conference ramics 2012 cambridge uk september 17 20 2012 proceedings |
| title_sub | 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; 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 Isabelle Programm (DE-588)4353452-1 gnd Programmverifikation (DE-588)4135576-3 gnd HOL (DE-588)4335765-9 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| topic_facet | Algebraische Spezifikation Mathematische Logik Kleene-Algebra Relationenalgebra Isabelle Programm Programmverifikation HOL Algebraische Methode Konferenzschrift 2012 Cambridge |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4099794&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=025292530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kahlwolfram relationalandalgebraicmethodsincomputerscience13thinternationalconferenceramics2012cambridgeukseptember17202012proceedings AT ramicscambridge relationalandalgebraicmethodsincomputerscience13thinternationalconferenceramics2012cambridgeukseptember17202012proceedings |