Holdings: Relational and algebraic methods in computer science

Relational and algebraic methods in computer science: 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2012
Series:	Lecture Notes in Computer Science 7560
Subjects:	Algebraische Spezifikation Mathematische Logik Kleene-Algebra Relationenalgebra Isabelle > Programm Programmverifikation HOL Algebraische Methode Konferenzschrift > 2012 > Cambridge
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XII, 356 S. graph. Darst.
ISBN:	3642333133 9783642333132

Staff View

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 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

Record in the Search Index

_version_	1820875423446204416
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">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	2025-01-10T15:15:24Z
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
spelling	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.) Berlin [u.a.] Springer 2012 XII, 356 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 7560 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 Isabelle Programm (DE-588)4353452-1 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf HOL (DE-588)4335765-9 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Cambridge 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 HOL (DE-588)4335765-9 s Isabelle Programm (DE-588)4353452-1 s Programmverifikation (DE-588)4135576-3 s Kahl, Wolfram Sonstige (DE-588)1026341213 oth RAMiCS 13 2012 Cambridge Sonstige (DE-588)1026341302 oth Erscheint auch als Online-Ausgabe 978-3-642-33314-9 Lecture Notes in Computer Science 7560 (DE-604)BV000000607 7560 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4099794&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=025292530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items