| 000 -LEADER |
|---|
| fixed length control field |
06354cam a2200853Ka 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn811249955 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200626113230.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 cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120927s2012 gw ob 101 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2012946209 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDXCP |
| -- |
COO |
| -- |
ZMC |
| -- |
OCLCQ |
| -- |
WAU |
| -- |
I9W |
| -- |
E7B |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
NJR |
| -- |
CEF |
| -- |
U3W |
| -- |
YOU |
| -- |
AU@ |
| -- |
WYU |
| -- |
TKN |
| -- |
OCLCQ |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
W2U |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
1059016010 |
| -- |
1087305440 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642333149 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642333141 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642333132 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642333133 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642333132 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-33314-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000050101592 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051450031 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060390095 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000687570 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384330320 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14675098 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)811249955 |
| Canceled/invalid control number |
(OCoLC)1059016010 |
| -- |
(OCoLC)1087305440 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.M35 |
| Item number |
R36 2012 |
| 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 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.01/51 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
RAMiCS (Conference) |
| Number of part/section/meeting |
(13th : |
| Date of meeting |
2012 : |
| Location of meeting |
Cambridge, England) |
| 9 (RLIN) |
46590 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Relational and algebraic methods in computer science : |
| Remainder of title |
13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / |
| Statement of responsibility, etc. |
Wolfram Kahl, Timothy G. Griffin (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RAMiCS 2012 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 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 |
7560 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Transitive Separation Logic / |
| Statement of responsibility |
Han-Hing Dang and Bernhard Möller -- |
| Title |
Unifying Lazy and Strict Computations / |
| Statement of responsibility |
Walter Guttmann -- |
| Title |
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming / |
| Statement of responsibility |
Peter Höfner, Bernhard Möller and Andreas Zelend -- |
| Title |
Towards an Algebra for Real-Time Programs / |
| Statement of responsibility |
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke and Kim Solin -- |
| Title |
Automated Reasoning in Higher-Order Regular Algebra / |
| Statement of responsibility |
Alasdair Armstrong and Georg Struth -- |
| Title |
Towards Certifiable Implementation of Graph Transformation via Relation Categories / |
| Statement of responsibility |
Wolfram Kahl -- |
| Title |
Deciding Regular Expressions (In- )Equivalence in Coq / |
| Statement of responsibility |
Nelma Moreira, David Pereira and Simão Melo de Sousa -- |
| Title |
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures / |
| Statement of responsibility |
Rudolf Berghammer and Sebastian Fischer -- |
| Title |
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings / |
| Statement of responsibility |
Nikita Danilenko -- |
| Title |
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants / |
| Statement of responsibility |
Nuno Macedo, Hugo Pacheco and Alcino Cunha -- |
| Title |
Left-Handed Completeness / |
| Statement of responsibility |
Dexter Kozen and Alexandra Silva -- |
| Title |
On Completeness of Omega-Regular Algebras / |
| Statement of responsibility |
Michael R. Laurence and Georg Struth -- |
| Title |
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings / |
| Statement of responsibility |
Peter Jipsen -- |
| Title |
Relational Representation Theorem for Powerset Quantales / |
| Statement of responsibility |
Koki Nishizawa and Hitoshi Furusawa -- |
| Title |
Point Axioms in Dedekind Categories / |
| Statement of responsibility |
Hitoshi Furusawa and Yasuo Kawahara -- |
| Title |
Two Observations in Dioid Based Model Refinement / |
| Statement of responsibility |
Roland Glück -- |
| Title |
Relation Algebras, Matrices, and Multi-valued Decision Diagrams / |
| Statement of responsibility |
Francis Atampore and Michael Winter -- |
| Title |
Incremental Pseudo Rectangular Organization of Information Relative to a Domain / |
| Statement of responsibility |
Sahar Ismail and Ali Jaoua -- |
| Title |
Relational Concepts in Social Choice / |
| Statement of responsibility |
Gunther Schmidt -- |
| Title |
An Algebra of Layered Complex Preferences / |
| Statement of responsibility |
Bernhard Möller and Patrick Roocks -- |
| Title |
Continuous Relations and Richardson's Theorem / |
| Statement of responsibility |
Hitoshi Furusawa, Toshikazu Ishida and Yasuo Kawahara -- |
| Title |
Relations on Hypergraphs / |
| Statement of responsibility |
John G. Stell -- |
| Title |
Extension Properties of Boolean Contact Algebras / |
| Statement of responsibility |
Ivo Düntsch and Sanjiang Li. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 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 #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 |
Computer science |
| General subdivision |
Mathematics. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872460 |
| 9 (RLIN) |
2386 |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Software engineering. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logic design. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computational complexity. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Artificial intelligence. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Mathematical Logic and Formal Languages. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Symbolic and Algebraic Manipulation. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logics and Meanings of Programs. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Discrete Mathematics in Computer Science. |
| 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 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kahl, W. |
| Fuller form of name |
(Wolfram) |
| 9 (RLIN) |
46591 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Griffin, Timothy G. |
| 9 (RLIN) |
46592 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642333132 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7560. |
| 9 (RLIN) |
46593 |
| 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.libraryproxy.ist.ac.at/book/10.1007/978-3-642-33314-9">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-33314-9</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3069884 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10651222 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9786106 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |