Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9560 |
| Schlagworte: | |
| Online-Zugang: | DE-523 TUM01 DE-355 UBY01 URL des Erstveröffentlichers Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043408055 | ||
| 003 | DE-604 | ||
| 005 | 20160718 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160225s2016 xx a||| o|||| 11||| eng d | ||
| 020 | |a 9783319278100 |c Online |9 978-3-319-27810-0 | ||
| 020 | |a 9783319278094 |c Print |9 978-3-319-27809-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-27810-0 |2 doi | |
| 035 | |a (OCoLC)935176664 | ||
| 035 | |a (DE-599)BVBBV043408055 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Semantics, logics, and calculi |b Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays |c edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Ressource (X, 345 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v volume 9560 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Probst, Christian W. |d 19XX- |0 (DE-588)1047248174 |4 edt | |
| 700 | 1 | |a Nielson, Hanne Riis |d 1954- |0 (DE-588)120458241 |4 hnr | |
| 700 | 1 | |a Nielson, Flemming |4 hnr | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9560 |w (DE-604)BV014880109 |9 9560 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-27810-0 |x Verlag |z URL des Erstveröffentlichers |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=028826401&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028826401 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-27810-0 |l DE-523 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l TUM01 |u https://doi.org/10.1007/978-3-319-27810-0 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-27810-0 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-319-27810-0 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2185982 |
|---|---|
| _version_ | 1820882868873723904 |
| adam_text | SEMANTICS, LOGICS, AND CALCULI
/
: 2016
ABSTRACT / INHALTSTEXT
THIS FESTSCHRIFT VOLUME IS PUBLISHED IN HONOR OF HANNE RIIS NIELSON AND
FLEMMING NIELSON ON THE OCCASION OF THEIR 60TH BIRTHDAYS IN 2014 AND
2015, RESPECTIVELY. THE PAPERS INCLUDED IN THIS VOLUME DEAL WITH THE
WIDE AREA OF CALCULI, SEMANTICS, AND ANALYSIS. THE BOOK FEATURES
CONTRIBUTIONS FROM COLLEAGUES, WHO HAVE WORKED TOGETHER WITH HANNE AND
FLEMMING THROUGH THEIR SCIENTIFIC LIFE AND ARE DEDICATED TO THEM AND TO
THEIR WORK. THE PAPERS WERE PRESENTED AT A COLLOQUIUM AT THE TECHNICAL
UNIVERSITY OF DENMARK IN JANUARY 2016.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Probst, Christian W. 19XX- |
| author2_role | edt |
| author2_variant | c w p cw cwp |
| author_GND | (DE-588)1047248174 (DE-588)120458241 |
| author_facet | Probst, Christian W. 19XX- |
| building | Verbundindex |
| bvnumber | BV043408055 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)935176664 (DE-599)BVBBV043408055 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-27810-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03094nam a2200661zcb4500</leader><controlfield tag="001">BV043408055</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160718 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2016 xx a||| o|||| 11||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319278100</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-27810-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319278094</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-27809-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-27810-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)935176664</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043408055</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</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">Semantics, logics, and calculi</subfield><subfield code="b">Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays</subfield><subfield code="c">edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 345 Seiten)</subfield><subfield code="b">Illustrationen</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">volume 9560</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">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</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">Programming Languages, Compilers, Interpreters</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</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">Probst, Christian W.</subfield><subfield code="d">19XX-</subfield><subfield code="0">(DE-588)1047248174</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nielson, Hanne Riis</subfield><subfield code="d">1954-</subfield><subfield code="0">(DE-588)120458241</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nielson, Flemming</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">9560</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9560</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-27810-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028826401&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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028826401</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-27810-0</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">TUM01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-27810-0</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-27810-0</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-27810-0</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Konferenzschrift Festschrift |
| id | DE-604.BV043408055 |
| illustrated | Illustrated |
| indexdate | 2024-12-24T04:54:35Z |
| institution | BVB |
| isbn | 9783319278100 9783319278094 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028826401 |
| oclc_num | 935176664 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online-Ressource (X, 345 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays Lecture Notes in Computer Science Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Informatik |
| subject_GND | (DE-588)1071861417 (DE-588)4016928-5 |
| title | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays |
| title_auth | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays |
| title_exact_search | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays |
| title_full | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen |
| title_fullStr | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen |
| title_full_unstemmed | Semantics, logics, and calculi Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen |
| title_short | Semantics, logics, and calculi |
| title_sort | semantics logics and calculi essays dedicated to hanne riis nielson and flemming nielson on the occasion of their 60th birthdays |
| title_sub | Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays |
| topic | Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Informatik |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Informatik Konferenzschrift Festschrift |
| url | https://doi.org/10.1007/978-3-319-27810-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826401&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT probstchristianw semanticslogicsandcalculiessaysdedicatedtohanneriisnielsonandflemmingnielsonontheoccasionoftheir60thbirthdays AT nielsonhanneriis semanticslogicsandcalculiessaysdedicatedtohanneriisnielsonandflemmingnielsonontheoccasionoftheir60thbirthdays AT nielsonflemming semanticslogicsandcalculiessaysdedicatedtohanneriisnielsonandflemmingnielsonontheoccasionoftheir60thbirthdays |