Relations and Kleene Algebra in Computer Science : 9th International Conferen...

Great Book Prices Store
(351947)
Registered as a business seller
Seller's other items
Contact seller
US $72.49
Approximately£54.37
Condition:
New
3 available
Breathe easy. Returns accepted.
Postage:
Free USPS Media MailTM.
Located in: Jessup, Maryland, United States
Delivery:
Estimated between Wed, 22 Oct and Tue, 28 Oct to 94104
Estimated delivery dates - opens in a new window or tab reflect seller's dispatch time, origin postcode, destination postcode and time of order receipt, and will depend on the delivery service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods, and are an estimate only.
Returns:
14 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
    Diners Club

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Seller assumes all responsibility for this listing.
eBay item number:357348523713
Last updated on 05 Oct, 2025 13:17:11 BSTView all revisionsView all revisions

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
Book Title
Relations and Kleene Algebra in Computer Science : 9th Internatio
ISBN
9783540378730
Category

About this product

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540378731
ISBN-13
9783540378730
eBay Product ID (ePID)
57015332

Product Key Features

Number of Pages
Xii, 436 Pages
Language
English
Publication Name
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
Subject
Intelligence (Ai) & Semantics, Computer Science, General, Algebra / General
Publication Year
2006
Type
Textbook
Author
Renate A. Schmidt
Subject Area
Mathematics, Philosophy, Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback

Dimensions

Item Weight
49 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
2006-931478
Dewey Edition
22
Series Volume Number
4136
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
512.74
Table Of Content
Weak Kleene Algebra and Computation Trees.- Finite Symmetric Integral Relation Algebras with No 3-Cycles.- Computations and Relational Bundles.- An Axiomatization of Arrays for Kleene Algebra with Tests.- Local Variable Scoping and Kleene Algebra with Tests.- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView.- On the Complexity of the Equational Theory of Relational Action Algebras.- Demonic Algebra with Domain.- Topological Representation of Contact Lattices.- Betweenness and Comparability Obtained from Binary Relations.- Relational Representation Theorems for General Lattices with Negations.- Monotonicity Analysis Can Speed Up Verification.- Max-Plus Convex Geometry.- Lazy Semiring Neighbours and Some Applications.- Omega Algebra, Demonic Refinement Algebra and Commands.- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.- On the Cardinality of Relations.- Evaluating Sets of Search Points Using Relational Algebra.- Algebraization of Hybrid Logic with Binders.- Using Probabilistic Kleene Algebra for Protocol Verification.- Monotone Predicate Transformers as Up-Closed Multirelations.- Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.- Relational Measures and Integration.- A Relational View of Recurrence and Attractors in State Transition Dynamics.- On Two Dually Nondeterministic Refinement Algebras.- On the Fixpoint Theory of Equality and Its Applications.- Monodic Tree Kleene Algebra.- Weak Relational Products.
Synopsis
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th International Workshop on Applications of Kleene Algebras, AKA 2006, held in Manchester, UK in August/September 2006. The 25 revised full papers presented together with two invited papers and the abstract of an invited talk were carefully reviewed and selected from 44 submissions., This volume contains the joint proceedings of the 9th International Conference on Relational Methods in Computer Science (RelMiCS-9) and the 4th Inter- tionalWorkshoponApplicationsofKleeneAlgebra(AKA2006).Thejointevent was hosted by the School of Computer Science at the University of Manchester, UK, from August 29 to September 2, 2006. RelMiCS/AKA is the main forum for therelationalcalculusasa conceptualandmethodologicaltoolandfor topics relatedtoKleenealgebras.Withinthisgeneraltheme,theconferenceseriesis- voted to the theory of relation algebras, Kleene algebras and related formalisms as well as to their diverse applications in software engineering, databases and arti'cial intelligence. This year, special focus was on formal methods, logics of programs and links with neighboring disciplines. This diversity is re'ected by the contributions to this volume. The ProgrammeCommittee selected 25 technical contributions out of 44 i- tial submissions from 14 countries. Each paper was refereed by at least three reviewers on its originality, technical soundness, quality of presentation and r- evance to the conference. The programme included three invited lectures by distinguished experts in the area: "Weak Kleene Algebra and Computation Trees" by Ernie Cohen (Microsoft, USA), "Finite Symmetric Integral Relation Algebras with no 3-Cycles" by Roger Maddux (Iowa State University, USA), and "Computations and Relational Bundles" by Je? Sanders (Oxford, UK). In addition,forthe'rsttime,aPhDprogrammewasco-organizedbyGeorgStruth. It included the invited tutorials "Foundations of Relation Algebra and Kleene Algebra"byPeterJipsen(ChapmanUniversity,USA), and"RelationalMethods for Program Re'nement" by John Derrick (She'eld University, UK).
LC Classification Number
QA267-268.5

Item description from the seller

Seller business information

I certify that all my selling activities will comply with all EU laws and regulations.
About this seller

Great Book Prices Store

97.5% positive Feedback•1.4M items sold

Joined Feb 2017
Usually responds within 24 hours
Registered as a business seller
Visit shopContact

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
5.0
Communication
4.9

Seller Feedback (398,591)

All ratingsselected
Positive
Neutral
Negative
  • e***r (2724)- Feedback left by buyer.
    Past month
    Verified purchase
    AAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Chicago using free shipping USPS Media Mail, Received 06/18; book in Great Condition as Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!
    Elizabeth Catlett : A Black Revolutionary Artist and All That It Implies, Har... (#365566171808)
  • c***m (445)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    AAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Hawaii using free shipping USPS Ground Mail, Received 06/18; Paperback book in Great Condition as Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!
    Jesse Livermore's Two Books of Market Wisdom: Reminiscences of a Stock Operat... (#356784261477)
  • 1***n (274)- Feedback left by buyer.
    Past month
    Verified purchase
    Received the Tying Nymphs: Essential Flies and Techniques for the Top Patterns, Hardcover. The book is of high quality. I'm very happy with my purchase and will continue to order from this seller. This seller has the best communications that I have ever seen in a sell. The book is at a great value. The book was as described and in excellent condition. Shipping was very fast. The appearance of the book was excellent. The item was very well packaged. Again, I will continue buy from this sell.
    Tying Nymphs : Essential Flies and Techniques for the Top Patterns, Hardcover... (#388915098417)
See all Feedback

More to explore: