skip to content
Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Author: J Kari; Irek Ulidowski
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 11106.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation;  Read more...
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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
RC (Workshop : Reversible Computation) (10th : 2018 : Leicester, England).
Reversible computation.
Cham, Switzerland : Springer, 2018
(OCoLC)1045468436
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Kari; Irek Ulidowski
ISBN: 9783319994987 3319994980 9783319994994 3319994999
OCLC Number: 1051001720
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiii, 353 pages) : illustrations.
Contents: Reversible concurrent computation --
Quantum circuits --
Reversible programming languages --
Applications.
Series Title: Lecture notes in computer science, 11106.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: RC 2018
Responsibility: Jarkko Kari, Irek Ulidowski (eds.).

Abstract:

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one  Read more...

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/1051001720> # Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1051001720" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computers_hardware_network_hardware> ; # Computers--Hardware--Network Hardware
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://dewey.info/class/004/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/logic_design> ; # Logic Design
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/network_hardware> ; # Network hardware
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computers_intelligence_ai_&_semantics> ; # Computers--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computer_architecture_&_logic_design> ; # Computer architecture & logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/reversible_computing> ; # Reversible computing
    schema:about <http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computers_logic_design> ; # Computers--Logic Design
    schema:alternateName "RC 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5433602656#Meeting/rc_workshop_reversible_computation_10th_2018_leicester_england> ; # RC (Workshop : Reversible Computation) (10th : 2018 : Leicester, England)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications."@en ;
    schema:description "Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5433602656#Person/kari_j_jarkko> ; # Jarkko Kari
    schema:editor <http://experiment.worldcat.org/entity/work/data/5433602656#Person/ulidowski_irek> ; # Irek Ulidowski
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5433602656> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5433602656#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5433602656#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5433602656#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isSimilarTo <http://www.worldcat.org/oclc/1045468436> ;
    schema:name "Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings"@en ;
    schema:productID "1051001720" ;
    schema:url <https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-99498-7> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=https://doi.org/10.1007/978-3-319-99498-7> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-99498-7> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-99498-7> ;
    schema:url <https://doi.org/10.1007/978-3-319-99498-7> ;
    schema:url <http://proxy.library.brocku.ca/login?url=http://link.springer.com/10.1007/978-3-319-99498-7> ;
    schema:url <http://proxy.library.carleton.ca/login?url=https://doi.org/10.1007/978-3-319-99498-7> ;
    schema:url <http://ezaccess.libraries.psu.edu/login?url=https://doi.org/10.1007/978-3-319-99498-7> ;
    schema:url <https://nls.ldls.org.uk/welcome.html?ark:/81055/vdc_100065901732.0x000001> ;
    schema:url <http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-99498-7> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-99498-7> ;
    schema:workExample <http://worldcat.org/isbn/9783319994987> ;
    schema:workExample <http://worldcat.org/isbn/9783319994994> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-99498-7> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1051001720> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5433602656#Meeting/rc_workshop_reversible_computation_10th_2018_leicester_england> # RC (Workshop : Reversible Computation) (10th : 2018 : Leicester, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5433602656#Place/leicester_england> ; # Leicester, England)
    schema:name "RC (Workshop : Reversible Computation) (10th : 2018 : Leicester, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Person/kari_j_jarkko> # Jarkko Kari
    a schema:Person ;
    schema:familyName "Kari" ;
    schema:givenName "Jarkko" ;
    schema:givenName "J." ;
    schema:name "Jarkko Kari" ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Person/ulidowski_irek> # Irek Ulidowski
    a schema:Person ;
    schema:familyName "Ulidowski" ;
    schema:givenName "Irek" ;
    schema:name "Irek Ulidowski" ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Place/leicester_england> # Leicester, England)
    a schema:Place ;
    schema:name "Leicester, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1051001720> ; # Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1051001720> ; # Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1051001720> ; # Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computer_architecture_&_logic_design> # Computer architecture & logic design
    a schema:Intangible ;
    schema:name "Computer architecture & logic design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5433602656#Topic/computers_hardware_network_hardware> # Computers--Hardware--Network Hardware
    a schema:Intangible ;
    schema:name "Computers--Hardware--Network Hardware"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#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/5433602656#Topic/computers_logic_design> # Computers--Logic Design
    a schema:Intangible ;
    schema:name "Computers--Logic Design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#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/5433602656#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#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/5433602656#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Topic/reversible_computing> # Reversible computing
    a schema:Intangible ;
    schema:name "Reversible computing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5433602656#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-99498-7>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://worldcat.org/isbn/9783319994987>
    a schema:ProductModel ;
    schema:isbn "3319994980" ;
    schema:isbn "9783319994987" ;
    .

<http://worldcat.org/isbn/9783319994994>
    a schema:ProductModel ;
    schema:isbn "3319994999" ;
    schema:isbn "9783319994994" ;
    .

<http://www.worldcat.org/oclc/1045468436>
    a schema:CreativeWork ;
    rdfs:label "Reversible computation." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1051001720> ; # Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    .

<http://www.worldcat.org/title/-/oclc/1051001720>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1051001720> ; # Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    schema:dateModified "2019-04-30" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-99498-7>
    rdfs:comment "Unlimited Access available" ;
    rdfs:comment "Access restricted: DAL users only" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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