MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08347cam a22011174a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn232117319 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703144316.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 |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
080220s2008 gw a ob 101 0 eng c |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| Canceled/invalid LC control number |
2008923359 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
COD |
| -- |
WAU |
| -- |
GW5XE |
| -- |
UMC |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
E7B |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
A7U |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
SLY |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
MYUML |
| -- |
IDEBK |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
BUF |
| -- |
OCLCQ |
| -- |
CRU |
| -- |
TFW |
| -- |
WYU |
| -- |
ICG |
| -- |
YOU |
| -- |
OCLCQ |
| -- |
CNTRU |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
UKBTH |
| -- |
LUN |
| -- |
LIP |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
987805428 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
987805428 |
| Source |
GyFmDB |
| 019 ## - |
|---|
| -- |
233974044 |
| -- |
767199860 |
| -- |
785782603 |
| -- |
880324994 |
| -- |
911077152 |
| -- |
964877196 |
| -- |
1005749804 |
| -- |
1011927569 |
| -- |
1044212229 |
| -- |
1056438050 |
| -- |
1060689612 |
| -- |
1060922970 |
| -- |
1066543542 |
| -- |
1077262688 |
| -- |
1081233353 |
| -- |
1086845606 |
| -- |
1105589273 |
| -- |
1112542049 |
| -- |
1113812271 |
| -- |
1132301768 |
| -- |
1162788300 |
| -- |
1170360214 |
| -- |
1171791875 |
| -- |
1244077827 |
| -- |
1262672550 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540789123 |
| Qualifying information |
(softcover ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354078912X |
| Qualifying information |
(softcover ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540789130 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540789138 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1281856622 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781281856623 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-540-78913-0. |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000043104230 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000046061957 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHBIS |
| System control number |
006531737 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHBIS |
| System control number |
009884137 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHVBK |
| System control number |
174905513 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHVBK |
| System control number |
199241252 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384377017 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12480168 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13744217 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)232117319 |
| Canceled/invalid control number |
(OCoLC)233974044 |
| -- |
(OCoLC)767199860 |
| -- |
(OCoLC)785782603 |
| -- |
(OCoLC)880324994 |
| -- |
(OCoLC)911077152 |
| -- |
(OCoLC)964877196 |
| -- |
(OCoLC)1005749804 |
| -- |
(OCoLC)1011927569 |
| -- |
(OCoLC)1044212229 |
| -- |
(OCoLC)1056438050 |
| -- |
(OCoLC)1060689612 |
| -- |
(OCoLC)1060922970 |
| -- |
(OCoLC)1066543542 |
| -- |
(OCoLC)1077262688 |
| -- |
(OCoLC)1081233353 |
| -- |
(OCoLC)1086845606 |
| -- |
(OCoLC)1105589273 |
| -- |
(OCoLC)1112542049 |
| -- |
(OCoLC)1113812271 |
| -- |
(OCoLC)1132301768 |
| -- |
(OCoLC)1162788300 |
| -- |
(OCoLC)1170360214 |
| -- |
(OCoLC)1171791875 |
| -- |
(OCoLC)1244077827 |
| -- |
(OCoLC)1262672550 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-78912-3 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA10 |
| Item number |
.I58 2008 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA. |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT018000. |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051010. |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA. |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3/24 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
TP301. 6 |
| Number source |
clc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Relational Methods in Computer Science |
| Number of part/section/meeting |
(10th : |
| Date of meeting |
2008 : |
| Location of meeting |
Frauenworth, Germany) |
| 9 (RLIN) |
24885 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Relations and Kleene algebra in computer science : |
| Remainder of title |
10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / |
| Statement of responsibility, etc. |
Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Relational methods in computer science |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Applications of Kleene algebra |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Kleene algebra |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RelMiCS/AKA 2008 |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RelMiCS 2008 |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
AKA 2008 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2008. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 396 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
4988 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008. The 26 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics to Mathematics and Applied Sciences -- Boolean Logics with Relations -- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy Functional Logic Language -- Latest News about Demonic Algebra with Domain -- On the Structure of Demonic Refinement Algebras with Enabledness and Termination -- Multi-objective Problems in Terms of Relational Algebra -- The Lattice of Contact Relations on a Boolean Algebra -- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras -- Increasing Bisemigroups and Algebraic Routing -- Lazy Relations -- The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy -- The Algebraic Approach II: Dioids, Quantales and Monads -- Automated Reasoning for Hybrid Systems -- Two Case Studies -- Non-termination in Idempotent Semirings -- Formal Concepts in Dedekind Categories -- The Structure of the One-Generated Free Domain Semiring -- Determinisation of Relational Substitutions in Ordered Categories with Domain -- Boolean Algebras and Stone Maps in Schröder Categories -- Cardinality in Allegories -- Solving Linear Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra -- Knowledge and Games in Modal Semirings -- Theorem Proving Modulo Based on Boolean Equational Procedures -- Rectangles, Fringes, and Inverses -- An Ordered Category of Processes -- Automatic Proof Generation in Kleene Algebra. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebraic logic |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
20526 |
| 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 |
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 |
Logique algébrique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19355 |
| 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 |
Informatique |
| General subdivision |
Mathématiques |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20905 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebraic logic. |
| Source of heading or term |
cct |
| 9 (RLIN) |
4868 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Relation algebras. |
| Source of heading or term |
cct |
| 9 (RLIN) |
19358 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics. |
| Source of heading or term |
cct |
| 9 (RLIN) |
2386 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebraic logic. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00804936 |
| 9 (RLIN) |
4868 |
| 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 |
Relation algebras. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01093574 |
| 9 (RLIN) |
19358 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 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 |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Berghammer, R. |
| Fuller form of name |
(Rudolf), |
| Dates associated with a name |
1952- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJkT7x7GwQFyvvVBMVGCQq |
| 9 (RLIN) |
19364 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Möller, Bernhard, |
| Dates associated with a name |
1953- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjCkwrx9gx3dTFhxDq3qgq |
| 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 |
(5th : |
| Date of meeting |
2008 : |
| Location of meeting |
Frauenworth, Germany) |
| 9 (RLIN) |
24886 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
International Conference on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany). |
| Title |
Relations and Kleene algebra in computer science. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2008 |
| International Standard Book Number |
9783540789123 |
| -- |
354078912X |
| Record control number |
(DLC) 2008923359 |
| -- |
(OCoLC)221131097 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
4988. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-540-78913-0">https://link.springer.com/10.1007/978-3-540-78913-0</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3068720 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10533882 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
cis23929566 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3025092 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |