skip to content
Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers Preview this item
ClosePreview this item
Checking...

Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

Author: Alexis de Vos; Robert Wille
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 7165.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to  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
Computer software
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alexis de Vos; Robert Wille
ISBN: 9783642295171 3642295177 3642295169 9783642295164
OCLC Number: 788352841
Description: 1 online resource (vii, 122 pages).
Contents: Time complexity of tape reduction for reversible Turing machines / Holger Bock Axelsen --
Towards a reversible functional language / Tetsuo Yokoyama, Holger Bock Axelsen and Robert Glück --
A reversible processor architecture and its reversible logic design / Michael Kirkedal Thomsen, Holger Bock Axelsen and Robert Glück --
Optimization of reversible circuits using reconfigured templates / Md. Mazder Rahman, Gerhard W. Dueck and Anindita Banerjee --
Hybrid GF(2) --
Boolean expressions .for quantum computing circuits / Claudio Moraga --
RevKit : an open source toolkit for the design of reversible circuits / Mathias Soeken, Stefan Frehse, Robert Wille and Rolf Drechsler --
Transforming MCT circuits to NCVW circuits / Zahra Sasanian and D. Michael Miller --
Changing the gate order for optimal LNN conversion / Atsushi Matsuo and Shigeru Yamashita --
Towards the limits of cascaded reversible (quantum-inspired) circuits / Stéphane Burignat, Mariusz Olczak, Michał Klimczak and Alexis De Vos --
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits / Stéphane Burignat, Michael Kirkedal Thomsen, Michał Klimczak, Mariusz Olczak and Alexis De Vos.
Series Title: Lecture notes in computer science, 7165.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: RC 2011
Responsibility: Alexis de Vos, Robert Wille (eds.).

Abstract:

Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the  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/788352841> # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "788352841" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1124647727#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://id.worldcat.org/fast/1896582> ; # Reversible computing
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity.
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/computer_communication_networks> ; # Computer Communication Networks.
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/computer_software> ; # Computer software.
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh2013002194> ; # Reversible computing
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1124647727#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:alternateName "RC 2011" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/5005401> ; # Alexis de Vos
    schema:contributor <http://viaf.org/viaf/107178388> ; # Robert Wille
    schema:copyrightYear "2012" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1124647727#Meeting/rc_workshop_reversible_computation_3rd_2011_ghent_belgium> ; # RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)
    schema:datePublished "2012" ;
    schema:description "This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1124647727> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Computer software"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1124647727#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1124647727#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1124647727#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1124647727#CreativeWork/> ;
    schema:name "Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers"@en ;
    schema:productID "788352841" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/788352841#PublicationEvent/berlin_new_york_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1124647727#Agent/springer> ; # Springer
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-642-29517-1> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-29516-4> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-29516-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-29517-1> ;
    schema:url <http://site.ebrary.com/id/10651606> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://link.springer.com/10.1007/978-3-642-29517-1> ;
    schema:url <http://link.springer.com/10.1007/978-3-642-29517-1> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3070096> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2012-05-29/1/9783642295171> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2012-05-29/1/9783642295171> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-642-29517-1> ;
    schema:workExample <http://worldcat.org/isbn/9783642295164> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-29517-1> ;
    schema:workExample <http://worldcat.org/isbn/9783642295171> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/788352841> ;
    .


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/1124647727#Meeting/rc_workshop_reversible_computation_3rd_2011_ghent_belgium> # RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1124647727#Place/ghent_belgium> ; # Ghent, Belgium)
    schema:name "RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Place/ghent_belgium> # Ghent, Belgium)
    a schema:Place ;
    schema:name "Ghent, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/788352841> ; # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/788352841> ; # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#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/788352841> ; # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity.
    a schema:Thing ;
    schema:name "Algorithm Analysis and Problem Complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/computer_communication_networks> # Computer Communication Networks.
    a schema:Thing ;
    schema:name "Computer Communication Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/computer_software> # Computer software.
    a schema:Thing ;
    schema:name "Computer software." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1124647727#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://id.loc.gov/authorities/subjects/sh2013002194> # Reversible computing
    a schema:Intangible ;
    schema:name "Reversible computing"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/1896582> # Reversible computing
    a schema:Intangible ;
    schema:name "Reversible computing"@en ;
    .

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

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

<http://viaf.org/viaf/107178388> # Robert Wille
    a schema:Person ;
    schema:familyName "Wille" ;
    schema:givenName "Robert" ;
    schema:name "Robert Wille" ;
    .

<http://viaf.org/viaf/5005401> # Alexis de Vos
    a schema:Person ;
    schema:familyName "Vos" ;
    schema:givenName "Alexis de" ;
    schema:name "Alexis de Vos" ;
    .

<http://worldcat.org/entity/work/data/1124647727#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/788352841> ; # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    .

<http://worldcat.org/isbn/9783642295164>
    a schema:ProductModel ;
    schema:isbn "3642295169" ;
    schema:isbn "9783642295164" ;
    .

<http://worldcat.org/isbn/9783642295171>
    a schema:ProductModel ;
    schema:isbn "3642295177" ;
    schema:isbn "9783642295171" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/788352841> ; # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/788352841>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/788352841> ; # Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
    schema:dateModified "2018-11-13" ;
    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.