skip to content
Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings

Author: Jules Desharnais; Walter Guttmann; Stef Joosten
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 11194.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics:  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jules Desharnais; Walter Guttmann; Stef Joosten
ISBN: 9783030021498 3030021491 3030021483 9783030021481 9783030021504 3030021505
OCLC Number: 1059451097
Notes: International conference proceedings.
Description: 1 online resource (xvi, 385 pages) : illustrations
Contents: Invited Paper --
Theoretical Foundations --
Reasoning about Computations and Programs --
Applications and Tools.
Series Title: Lecture notes in computer science, 11194.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: RAMiCS 2018
Responsibility: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).

Abstract:

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

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/1059451097> # Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "1059451097" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/relation_algebras> ; # Relation algebras
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/algebraic_logic> ; # Algebraic logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_intelligence_ai_&_semantics> ; # Computers--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/mathematical_theory_of_computation> ; # Mathematical theory of computation
    schema:about <http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_programming_algorithms> ; # Computers--Programming--Algorithms
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:alternateName "RAMiCS 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5447702829#Meeting/ramics_conference_17th_2018_groningen_netherlands> ; # RAMiCS (Conference) (17th : 2018 : Groningen, Netherlands)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools."@en ;
    schema:description "Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5447702829#Person/joosten_stef> ; # Stef Joosten
    schema:editor <http://experiment.worldcat.org/entity/work/data/5447702829#Person/guttmann_walter> ; # Walter Guttmann
    schema:editor <http://experiment.worldcat.org/entity/work/data/5447702829#Person/desharnais_jules> ; # Jules Desharnais
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5447702829> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5447702829#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5447702829#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5447702829#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5447702829#CreativeWork/> ;
    schema:name "Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings"@en ;
    schema:productID "1059451097" ;
    schema:url <https://doi.org/10.1007/978-3-030-02149-8> ;
    schema:url <http://ezsecureaccess.balamand.edu.lb/login?url=https://doi.org/10.1007/978-3-030-02149-8> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-030-02149-8> ;
    schema:workExample <http://worldcat.org/isbn/9783030021504> ;
    schema:workExample <http://worldcat.org/isbn/9783030021481> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-02149-8> ;
    schema:workExample <http://worldcat.org/isbn/9783030021498> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8J9710> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1059451097> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5447702829#Meeting/ramics_conference_17th_2018_groningen_netherlands> # RAMiCS (Conference) (17th : 2018 : Groningen, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5447702829#Place/groningen_netherlands> ; # Groningen, Netherlands)
    schema:name "RAMiCS (Conference) (17th : 2018 : Groningen, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Person/desharnais_jules> # Jules Desharnais
    a schema:Person ;
    schema:familyName "Desharnais" ;
    schema:givenName "Jules" ;
    schema:name "Jules Desharnais" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Person/guttmann_walter> # Walter Guttmann
    a schema:Person ;
    schema:familyName "Guttmann" ;
    schema:givenName "Walter" ;
    schema:name "Walter Guttmann" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Person/joosten_stef> # Stef Joosten
    a schema:Person ;
    schema:familyName "Joosten" ;
    schema:givenName "Stef" ;
    schema:name "Stef Joosten" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Place/groningen_netherlands> # Groningen, Netherlands)
    a schema:Place ;
    schema:name "Groningen, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1059451097> ; # Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1059451097> ; # Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#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/1059451097> ; # Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computer_programming_software_development> # Computer programming--software development
    a schema:Intangible ;
    schema:name "Computer programming--software development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_intelligence_ai_&_semantics> # Computers--Intelligence (AI) & Semantics
    a schema:Intangible ;
    schema:name "Computers--Intelligence (AI) & Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_programming_algorithms> # Computers--Programming--Algorithms
    a schema:Intangible ;
    schema:name "Computers--Programming--Algorithms"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_programming_general> # Computers--Programming--General
    a schema:Intangible ;
    schema:name "Computers--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/mathematical_theory_of_computation> # Mathematical theory of computation
    a schema:Intangible ;
    schema:name "Mathematical theory of computation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447702829#Topic/relation_algebras> # Relation algebras
    a schema:Intangible ;
    schema:name "Relation algebras"@en ;
    .

<http://worldcat.org/entity/work/data/5447702829#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1059451097> ; # Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783030021481>
    a schema:ProductModel ;
    schema:isbn "3030021483" ;
    schema:isbn "9783030021481" ;
    .

<http://worldcat.org/isbn/9783030021498>
    a schema:ProductModel ;
    schema:isbn "3030021491" ;
    schema:isbn "9783030021498" ;
    .

<http://worldcat.org/isbn/9783030021504>
    a schema:ProductModel ;
    schema:isbn "3030021505" ;
    schema:isbn "9783030021504" ;
    .

<http://www.worldcat.org/title/-/oclc/1059451097>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1059451097> ; # Relational and algebraic methods in computer science : 17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29-November 1, 2018, Proceedings
    schema:dateModified "2019-10-14" ;
    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.