Relational and Kleene-algebraic methods in computer science : (Record no. 376425)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha