Logic, rewriting, and concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2015
|
| Ausgabe: | 1st ed. 2015 |
| Schriftenreihe: | Lecture Notes in Computer Science
9200 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | 1 Online-Ressource (XI, 634 p. 103 illus) |
| ISBN: | 9783319231655 9783319231648 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-23165-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042788381 | ||
| 003 | DE-604 | ||
| 005 | 20160513 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150901s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319231655 |c Online |9 978-3-319-23165-5 | ||
| 020 | |a 9783319231648 |c Print |9 978-3-319-23164-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-23165-5 |2 doi | |
| 035 | |a (OCoLC)920801636 | ||
| 035 | |a (DE-599)BVBBV042788381 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Logic, rewriting, and concurrency |b Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday |c edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott |
| 250 | |a 1st ed. 2015 | ||
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XI, 634 p. 103 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9200 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Martí-Oliet, Narciso |e Sonstige |4 oth | |
| 700 | 1 | |a Meseguer, José |d 1950- |0 (DE-588)1076055508 |4 hnr | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9200 |w (DE-604)BV014880109 |9 9200 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-23165-5 |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=028218259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028218259 | |
Datensatz im Suchindex
| _version_ | 1815076352923009024 |
|---|---|
| adam_text |
LOGIC, REWRITING, AND CONCURRENCY
/
: 2015
ABSTRACT / INHALTSTEXT
THIS FESTSCHRIFT VOLUME CONTAINS 28 REFEREED PAPERS INCLUDING PERSONAL
MEMORIES, ESSAYS, AND REGULAR RESEARCH PAPERS BY CLOSE COLLABORATORS AND
FRIENDS OF JOSE MESEGUER TO HONOR HIM ON THE OCCASION OF HIS 65TH
BIRTHDAY. THESE PAPERS WERE PRESENTED AT A SYMPOSIUM AT THE UNIVERSITY
OF ILLINOIS AT URBANA-CHAMPAIGN ON SEPTEMBER 23-25, 2015. THE SYMPOSIUM
ALSO FEATURED INVITED TALKS BY CLAUDE AND HELENE KIRCHNER AND BY
PATRICK LINCOLN. THE FOREWORD OF THIS VOLUME ADDS A BRIEF OVERVIEW OF
SOME OF JOSE'S MANY SCIENTIFIC ACHIEVEMENTS FOLLOWED BY A BIBLIOGRAPHY
OF PAPERS WRITTEN BY JOSE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1076055508 |
| building | Verbundindex |
| bvnumber | BV042788381 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)920801636 (DE-599)BVBBV042788381 |
| 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-319-23165-5 |
| edition | 1st ed. 2015 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zcb4500</leader><controlfield tag="001">BV042788381</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160513</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150901s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319231655</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-23165-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319231648</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-23164-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-23165-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920801636</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042788381</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</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">Logic, rewriting, and concurrency</subfield><subfield code="b">Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday</subfield><subfield code="c">edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 634 p. 103 illus)</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">9200</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Martí-Oliet, Narciso</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meseguer, José</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)1076055508</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9200</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9200</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-23165-5</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=028218259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028218259</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV042788381 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-07T15:01:40Z |
| institution | BVB |
| isbn | 9783319231655 9783319231648 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028218259 |
| oclc_num | 920801636 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XI, 634 p. 103 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott 1st ed. 2015 Cham Springer 2015 1 Online-Ressource (XI, 634 p. 103 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9200 0302-9743 Computer science Software engineering Logic design Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik (DE-588)4016928-5 Festschrift gnd-content Martí-Oliet, Narciso Sonstige oth Meseguer, José 1950- (DE-588)1076055508 hnr Lecture Notes in Computer Science 9200 (DE-604)BV014880109 9200 https://doi.org/10.1007/978-3-319-23165-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday Lecture Notes in Computer Science Computer science Software engineering Logic design Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik |
| subject_GND | (DE-588)4016928-5 |
| title | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday |
| title_auth | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday |
| title_exact_search | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday |
| title_full | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott |
| title_fullStr | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott |
| title_full_unstemmed | Logic, rewriting, and concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott |
| title_short | Logic, rewriting, and concurrency |
| title_sort | logic rewriting and concurrency essays dedicated to jose meseguer on the occasion of his 65th birthday |
| title_sub | Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday |
| topic | Computer science Software engineering Logic design Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik |
| topic_facet | Computer science Software engineering Logic design Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik Festschrift |
| url | https://doi.org/10.1007/978-3-319-23165-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT martiolietnarciso logicrewritingandconcurrencyessaysdedicatedtojosemeseguerontheoccasionofhis65thbirthday AT meseguerjose logicrewritingandconcurrencyessaysdedicatedtojosemeseguerontheoccasionofhis65thbirthday |