Semantics, logics, and calculi: Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer
[2016]
|
| Series: | Lecture Notes in Computer Science
9560 |
| Subjects: | |
| Online Access: | HTW01 TUM01 UBR01 UBY01 Volltext Abstract |
| Physical Description: | 1 Online-Ressource (X, 345 Seiten) Illustrationen |
| ISBN: | 9783319278100 9783319278094 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-27810-0 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043408055 | ||
| 003 | DE-604 | ||
| 005 | 20160718 | ||
| 006 | a |||| 11||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160225s2016 |||| o||u| ||||||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 |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028826401 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-27810-0 |l HTW01 |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 UBR01 |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 | |
Record in the Search Index
| _version_ | 1804175996373434368 |
|---|---|
| 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>03108nmm a2200661zcb4500</leader><controlfield tag="001">BV043408055</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160718 </controlfield><controlfield tag="006">a |||| 11||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2016 |||| o||u| ||||||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><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="999" ind1=" " 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">HTW01</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">UBR01</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 | Not Illustrated |
| indexdate | 2024-07-10T07:25:09Z |
| 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 |
| spelling | 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 Cham Springer [2016] © 2016 1 Online-Ressource (X, 345 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science volume 9560 0302-9743 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 (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)4016928-5 Festschrift gnd-content Probst, Christian W. 19XX- (DE-588)1047248174 edt Nielson, Hanne Riis 1954- (DE-588)120458241 hnr Nielson, Flemming hnr Lecture Notes in Computer Science 9560 (DE-604)BV014880109 9560 https://doi.org/10.1007/978-3-319-27810-0 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf 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 Abstract |
| 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 |