Reversible computation: 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7581 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 241 S.) graph. Darst. |
| ISBN: | 9783642363146 9783642363153 |
| DOI: | 10.1007/978-3-642-36315-3 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040915137 | ||
| 003 | DE-604 | ||
| 005 | 20200618 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 130327s2013 xx d||| o|||| 10||| ger d | ||
| 020 | |a 9783642363146 |9 978-3-642-36314-6 | ||
| 020 | |a 9783642363153 |c eISBN |9 978-3-642-36315-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-36315-3 |2 doi | |
| 035 | |a (OCoLC)863900091 | ||
| 035 | |a (DE-599)BVBBV040915137 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.131 |2 22//ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 503f |2 stub | ||
| 084 | |a DAT 249f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Reversible computation |b 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers |c Robert Glück ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 241 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7581 | |
| 650 | 0 | 7 | |a Reversibles System |0 (DE-588)4132783-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Kopenhagen |2 gnd-content | |
| 689 | 0 | 0 | |a Reversibles System |0 (DE-588)4132783-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Glück, Robert |d 1961- |e Sonstige |0 (DE-588)136011063 |4 oth | |
| 711 | 2 | |a Workshop on Reversible Computation |n 4. |d 2012 |c Kopenhagen |j Sonstige |0 (DE-588)1025731646 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7581 |w (DE-604)BV014880109 |9 7581 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-36315-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025894386 | |
Datensatz im Suchindex
| _version_ | 1820875450514145280 |
|---|---|
| adam_text |
REVERSIBLE COMPUTATION
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
THEORETICAL CONSIDERATIONS
TUTORIAL: GRAPHICAL CALCULUS FOR QUANTUM CIRCUITS
ONE-WAY REVERSIBLE MULTI-HEAD FINITE AUTOMATA
A DETERMINISTIC TWO-WAY MULTI-HEAD FINITE AUTOMATON CAN BE CONVERTED
INTO A REVERSIBLE ONE WITH THE SAME NUMBER OF HEADS
UNDECIDABILITY OF THE SURJECTIVITY OF THE SUBSHIFT ASSOCIATED TO A
TURING MACHINE
REVERSIBLE SOFTWARE AND LANGUAGES ISOMORPHIC INTERPRETERS FROM LOGICALLY
REVERSIBLE ABSTRACT MACHINES
SYNTHESIZING LOOPS FOR PROGRAM INVERSION
FRUGAL ENCODING IN REVERSIBLE MOQA: A CASE STUDY FOR QUICKSORT
TOWARDS A GENERAL-PURPOSE, REVERSIBLE LANGUAGE FOR CONTROLLING
SELF-RECONFIGURABLE ROBOTS
REVERSIBLE AND QUANTUM CIRCUITS
REVERSIBLE AND QUANTUM CIRCUIT OPTIMIZATION: A FUNCTIONAL APPROACH
PROPERTIES OF QUANTUM TEMPLATES
OPTIMAL 4-BIT REVERSIBLE MIXED-POLARITY TOFFOLI CIRCUITS
DESIGN OF AN ONLINE TESTABLE TERNARY CIRCUIT FROM THE TRUTH TABLE
PHYSICAL REALIZATIONS AND DESIGN GARBAGELESS REVERSIBLE IMPLEMENTATION
OF INTEGER LINEAR TRANSFORMATIONS
GARBAGE-FREE REVERSIBLE INTEGER MULTIPLICATION WITH CONSTANTS OF THE
FORM 2K 2L 1
PROPERTY CHECKING OF QUANTUM CIRCUITS USING QUANTUM MULTIPLE-VALUED
DECISION DIAGRAMS
USING ΠDDS IN THE DESIGN OF REVERSIBLE CIRCUITS (WORK-IN-PROGRESS)
DISTRIBUTED SYSTEMS
A VERIFICATION TECHNIQUE FOR REVERSIBLE PROCESS ALGEBRA
A REVERSIBLE PROCESS CALCULUS AND THE MODELLING OF THE ERK SIGNALLING
PATHWAY
CONTROLLED REVERSIBILITY AND COMPENSATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
REVERSIBLE COMPUTATION
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 4TH INTERNATIONAL
WORKSHOP ON REVERSIBLE COMPUTATION, RC 2012, HELD IN COPENHAGEN,
DENMARK, IN JULY 2012. THE 19 CONTRIBUTIONS PRESENTED IN THIS VOLUME
WERE CAREFULLY REVIEWED AND SELECTED FROM 46 SUBMISSIONS. THE PAPERS
COVER THEORETICAL CONSIDERATIONS, REVERSIBLE SOFTWARE AND REVERSIBLE
HARDWARE, AND PHYSICAL REALIZATIONS AND APPLICATIONS IN QUANTUM
COMPUTING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)136011063 |
| building | Verbundindex |
| bvnumber | BV040915137 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 503f DAT 249f DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)863900091 (DE-599)BVBBV040915137 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-36315-3 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040915137</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200618</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130327s2013 xx d||| o|||| 10||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642363146</subfield><subfield code="9">978-3-642-36314-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642363153</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-36315-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-36315-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863900091</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040915137</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 503f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 249f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reversible computation</subfield><subfield code="b">4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers</subfield><subfield code="c">Robert Glück ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 241 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7581</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reversibles System</subfield><subfield code="0">(DE-588)4132783-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Kopenhagen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reversibles System</subfield><subfield code="0">(DE-588)4132783-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Glück, Robert</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136011063</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Reversible Computation</subfield><subfield code="n">4.</subfield><subfield code="d">2012</subfield><subfield code="c">Kopenhagen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1025731646</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7581</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7581</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-36315-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025894386</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Kopenhagen gnd-content |
| genre_facet | Konferenzschrift 2012 Kopenhagen |
| id | DE-604.BV040915137 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:50Z |
| institution | BVB |
| institution_GND | (DE-588)1025731646 |
| isbn | 9783642363146 9783642363153 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025894386 |
| oclc_num | 863900091 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 241 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers Robert Glück ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 241 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7581 Reversibles System (DE-588)4132783-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Kopenhagen gnd-content Reversibles System (DE-588)4132783-4 s DE-604 Glück, Robert 1961- Sonstige (DE-588)136011063 oth Workshop on Reversible Computation 4. 2012 Kopenhagen Sonstige (DE-588)1025731646 oth Lecture notes in computer science 7581 (DE-604)BV014880109 7581 https://doi.org/10.1007/978-3-642-36315-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers Lecture notes in computer science Reversibles System (DE-588)4132783-4 gnd |
| subject_GND | (DE-588)4132783-4 (DE-588)1071861417 |
| title | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers |
| title_auth | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers |
| title_exact_search | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers |
| title_full | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers Robert Glück ... (eds.) |
| title_fullStr | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers Robert Glück ... (eds.) |
| title_full_unstemmed | Reversible computation 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers Robert Glück ... (eds.) |
| title_short | Reversible computation |
| title_sort | reversible computation 4th international workshop rc 2012 copenhagen denmark july 2 3 2012 revised papers |
| title_sub | 4th international workshop, RC 2012, Copenhagen, Denmark, July 2 - 3, 2012 ; revised papers |
| topic | Reversibles System (DE-588)4132783-4 gnd |
| topic_facet | Reversibles System Konferenzschrift 2012 Kopenhagen |
| url | https://doi.org/10.1007/978-3-642-36315-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025894386&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT gluckrobert reversiblecomputation4thinternationalworkshoprc2012copenhagendenmarkjuly232012revisedpapers AT workshoponreversiblecomputationkopenhagen reversiblecomputation4thinternationalworkshoprc2012copenhagendenmarkjuly232012revisedpapers |