skip to content
Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings Preview this item
ClosePreview this item
Checking...

Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings

Author: R Berghammer; Ali Mohamed Jaoua; Bernhard Möller
Publisher: Berlin; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5827.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: R Berghammer; Ali Mohamed Jaoua; Bernhard Möller
ISBN: 9783642046384 364204638X
OCLC Number: 465162296
Description: viii, 365 pages : illustrations ; 24 cm.
Contents: Knowledge and Structure in Social Algorithms.- Computational Social Choice Using Relation Algebra and RelView.- A Model of Internet Routing Using Semi-modules.- Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.- Towards Algebraic Separation Logic.- Domain and Antidomain Semigroups.- Composing Partially Ordered Monads.- A Relation-Algebraic Approach to Liveness of Place/Transition Nets.- ?-Continuous Idempotent Left Semirings and Their Ideal Completion.- A Semiring Approach to Equivalences, Bisimulations and Control.- General Correctness Algebra.- Foundations of Concurrent Kleene Algebra.- Armstrong's Inference Rules in Dedekind Categories.- Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage.- Collagories for Relational Adhesive Rewriting.- Cardinal Addition in Distributive Allegories.- Relational Methods in the Analysis of While Loops: Observations of Versatility.- Modalities, Relations, and Learning.- The Cube of Kleene Algebras and the Triangular Prism of Multirelations.- Discrete Duality for Relation Algebras and Cylindric Algebras.- Contact Relations with Applications.- A While Program Normal Form Theorem in Total Correctness.- Complements in Distributive Allegories.- On the Skeleton of Stonian p-Ortholattices.
Series Title: Lecture notes in computer science, 5827.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: Relational methods in computer science
Applications of Kleene algebra
Kleene algebra
RelMiCS 2009
AKA 2009
Responsibility: Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Möller (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/465162296> # Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "465162296" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/900094963#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/1093574> ; # Relation algebras
   schema:about <http://id.worldcat.org/fast/1749626> ; # Kleene algebra
   schema:about <http://id.worldcat.org/fast/804936> ; # Algebraic logic
   schema:about <http://experiment.worldcat.org/entity/work/data/900094963#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://id.loc.gov/authorities/subjects/sh85003435> ; # Algebraic logic
   schema:about <http://dewey.info/class/004.0151/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh2009010187> ; # Kleene algebra
   schema:about <http://id.loc.gov/authorities/subjects/sh93006695> ; # Relation algebras
   schema:alternateName "Relational methods in computer science" ;
   schema:alternateName "AKA 2009" ;
   schema:alternateName "Applications of Kleene algebra" ;
   schema:alternateName "RelMiCS 2009" ;
   schema:alternateName "Kleene algebra" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900094963#Person/berghammer_r_rudolf_1952> ; # Rudolf Berghammer
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900094963#Meeting/international_workshop_on_applications_of_kleene_algebra_6th_2009_doha_qatar> ; # International Workshop on Applications of Kleene Algebra (6th : 2009 : Doha, Qatar)
   schema:contributor <http://viaf.org/viaf/101450241> ; # Ali Mohamed Jaoua
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900094963#Person/moller_bernhard> ; # Bernhard Möller
   schema:copyrightYear "2009" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/900094963#Meeting/international_conference_on_relational_methods_in_computer_science_11th_2009_doha_qatar> ; # International Conference on Relational Methods in Computer Science (11th : 2009 : Doha, Qatar)
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/900094963> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900094963#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900094963#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/900094963#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues.
   schema:name "Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings"@en ;
   schema:productID "465162296" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/465162296#PublicationEvent/berlin_new_york_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/900094963#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy1402/2009934859-t.html> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-04639-1> ;
   schema:workExample <http://worldcat.org/isbn/9783642046384> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/465162296> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Meeting/international_conference_on_relational_methods_in_computer_science_11th_2009_doha_qatar> # International Conference on Relational Methods in Computer Science (11th : 2009 : Doha, Qatar)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/900094963#Place/doha_qatar> ; # Doha, Qatar)
   schema:name "International Conference on Relational Methods in Computer Science (11th : 2009 : Doha, Qatar)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Meeting/international_workshop_on_applications_of_kleene_algebra_6th_2009_doha_qatar> # International Workshop on Applications of Kleene Algebra (6th : 2009 : Doha, Qatar)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/900094963#Place/doha_qatar> ; # Doha, Qatar)
   schema:name "International Workshop on Applications of Kleene Algebra (6th : 2009 : Doha, Qatar)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Person/berghammer_r_rudolf_1952> # Rudolf Berghammer
    a schema:Person ;
   schema:birthDate "1952" ;
   schema:familyName "Berghammer" ;
   schema:givenName "Rudolf" ;
   schema:givenName "R." ;
   schema:name "Rudolf Berghammer" ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Person/moller_bernhard> # Bernhard Möller
    a schema:Person ;
   schema:familyName "Möller" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Möller" ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/465162296> ; # Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/465162296> ; # Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/900094963#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/465162296> ; # Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues." ;
    .

<http://id.loc.gov/authorities/subjects/sh2009010187> # Kleene algebra
    a schema:Intangible ;
   schema:name "Kleene algebra"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85003435> # Algebraic logic
    a schema:Intangible ;
   schema:name "Algebraic logic"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh93006695> # Relation algebras
    a schema:Intangible ;
   schema:name "Relation algebras"@en ;
    .

<http://id.worldcat.org/fast/1093574> # Relation algebras
    a schema:Intangible ;
   schema:name "Relation algebras"@en ;
    .

<http://id.worldcat.org/fast/1749626> # Kleene algebra
    a schema:Intangible ;
   schema:name "Kleene algebra"@en ;
    .

<http://id.worldcat.org/fast/804936> # Algebraic logic
    a schema:Intangible ;
   schema:name "Algebraic logic"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/101450241> # Ali Mohamed Jaoua
    a schema:Person ;
   schema:familyName "Jaoua" ;
   schema:givenName "Ali Mohamed" ;
   schema:name "Ali Mohamed Jaoua" ;
    .

<http://worldcat.org/isbn/9783642046384>
    a schema:ProductModel ;
   schema:isbn "364204638X" ;
   schema:isbn "9783642046384" ;
    .

<http://www.worldcat.org/title/-/oclc/465162296>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/465162296> ; # Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
   schema:dateModified "2017-01-19" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.