Verfügbarkeit: Relational and algebraic methods in computer science

Relational and algebraic methods in computer science: 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	De Swart, Harrie 1944- (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6663
Schlagwörter:	Algebraische Spezifikation Mathematische Logik Kleene-Algebra Relationenalgebra Algebraische Methode Konferenzschrift > 2011 > Rotterdam
Links:	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
Umfang:	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

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 999-6663
DE-BY-TUM_katkey	1774150
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010210014
_version_	1821934980821942272
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-11T19:03:28Z
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
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

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 001z 2001 A 999-6663 Lageplan
Exemplar 1	Ausleihbar Am Standort