| 000 -LEADER |
|---|
| fixed length control field |
06532cam a2201021Ia 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm59008382 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200626095318.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr mnummmmuauu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
050415s2004 gw a ob 101 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2004106383 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
EYM |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
EYM |
| Modifying agency |
BAKER |
| -- |
OCLCG |
| -- |
WAU |
| -- |
N$T |
| -- |
YDXCP |
| -- |
CAI |
| -- |
IDEBK |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCO |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
OCLCO |
| -- |
VT2 |
| -- |
QE2 |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AUD |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA458985 |
| Source |
bnb |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
04,N23,0079 |
| Source |
dnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
012970912 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
60746989 |
| -- |
144564532 |
| -- |
276801599 |
| -- |
666951158 |
| -- |
690016558 |
| -- |
769770832 |
| -- |
1081182726 |
| -- |
1084928250 |
| -- |
1105601110 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540247718 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540247715 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
354022145X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540221456 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/b98117 |
| Source of number or code |
doi |
| 028 52 - PUBLISHER NUMBER |
|---|
| Publisher number |
11011163 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051339543 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000463792 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15296754 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)59008382 |
| Canceled/invalid control number |
(OCoLC)60746989 |
| -- |
(OCoLC)144564532 |
| -- |
(OCoLC)276801599 |
| -- |
(OCoLC)666951158 |
| -- |
(OCoLC)690016558 |
| -- |
(OCoLC)769770832 |
| -- |
(OCoLC)1081182726 |
| -- |
(OCoLC)1084928250 |
| -- |
(OCoLC)1105601110 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA10 |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.3051 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT |
| Subject category code subdivision |
022000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
512.74 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
SS 4800 |
| Number source |
rvk |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Number source |
sdnb |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 702f |
| Number source |
stub |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 510f |
| Number source |
stub |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Seminar on Relational Methods in Computer Science |
| Number of part/section/meeting |
(7th : |
| Date of meeting |
2003 : |
| Location of meeting |
Bad Malente, Germany) |
| 9 (RLIN) |
19351 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Relational and Kleene-algebraic methods in computer science : |
| Remainder of title |
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / |
| Statement of responsibility, etc. |
Rudof Berghammer, Bernhard Möller, Georg Struth (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
Hong Kong : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2004. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (277 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
3051 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Screen of 2005-04-15; title from caption. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003. The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Papers -- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods -- Kleene Algebra with Relations -- Contributed Papers -- Integrating Model Checking and Theorem Proving for Relational Reasoning -- Fixed-Point Characterisation of Winning Strategies in Impartial Games -- Checking the Shape Safety of Pointer Manipulations -- Applying Relational Algebra in 3D Graphical Software Design -- Investigating Discrete Controllability with Kleene Algebra -- Tracing Relations Probabilistically -- Pointer Kleene Algebra -- Kleene Modules -- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions -- Towards a Formalisation of Relational Database Theory in Constructive Type Theory -- SCAN Is Complete for All Sahlqvist Formulae -- Relations and GUHA-Style Data Mining II -- A Note on Complex Algebras of Semigroups -- Calculational Relation-Algebraic Proofs in Isabelle/Isar -- A Calculus of Typed Relations -- Greedy-Like Algorithms in Modal Kleene Algebra -- Rasiowa-Sikorski Style Relational Elementary Set Theory -- Relational Data Analysis -- Two Proof Systems for Peirce Algebras -- An Institution Isomorphism for Planar Graph Colouring -- Decomposing Relations into Orderings. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Relation algebras |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
19352 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kleene algebra |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
19353 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15039 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algèbres des relations |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19354 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique algébrique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19355 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
MATHEMATICS |
| General subdivision |
Number Theory. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
19356 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872460 |
| 9 (RLIN) |
2386 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kleene algebra. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01749626 |
| 9 (RLIN) |
19357 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Relation algebras. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01093574 |
| 9 (RLIN) |
19358 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kleene-Algebra |
| Source of heading or term |
gnd |
| 9 (RLIN) |
19359 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Relationenalgebra |
| Source of heading or term |
gnd |
| 9 (RLIN) |
19360 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algèbre des relations. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19361 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique algébrique. |
| Source of heading or term |
rasuqam |
| 9 (RLIN) |
19362 |
| 651 #7 - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME |
|---|
| Geographic name |
Malente (2003) |
| Source of heading or term |
swd |
| 9 (RLIN) |
19363 |
| 653 1# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Relational algebra |
| 653 1# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Kleene-algebraic methods |
| 653 1# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science |
| 653 1# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
RelMiCS |
| 653 2# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Kleene algebra |
| 653 2# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Relational methods |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
fast |
| Authority record control number |
(OCoLC)fst01423772 |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Kongress. |
| Source of term |
swd |
| 9 (RLIN) |
2843 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Berghammer, R. |
| Fuller form of name |
(Rudolf), |
| Dates associated with a name |
1952- |
| 9 (RLIN) |
19364 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Möller, Bernhard, |
| Dates associated with a name |
1953- |
| 9 (RLIN) |
19365 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Struth, Georg. |
| 9 (RLIN) |
19366 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Workshop on Applications of Kleene Algebra |
| Number of part/section/meeting |
(2nd : |
| Date of meeting |
2003 : |
| Location of meeting |
Bad Malente, Germany) |
| 9 (RLIN) |
19367 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany). |
| Title |
Relational and Kleene-algebraic methods in computer science. |
| Place, publisher, and date of publication |
Berlin ; London : Springer, ©2004 |
| International Standard Book Number |
354022145X |
| Record control number |
(DLC) 2004106383 |
| -- |
(OCoLC)55799701 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
3051. |
| International Standard Serial Number |
0302-9743 |
| 9 (RLIN) |
19368 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/b98117">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/b98117</a> |
| 938 ## - |
|---|
| -- |
Baker & Taylor |
| -- |
BKTY |
| -- |
63.00 |
| -- |
63.00 |
| -- |
354022145X |
| -- |
0006087609 |
| -- |
active |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
133744 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
30809 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2362112 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |