skip to content
Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays Preview this item
ClosePreview this item
Checking...

Semantics, logics, and calculi essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays

Author: Christian W. Probst, Chris Hankin, Ren�e Rydhof Hansen (editions.). Hansen, Ren�e Rydhof, ; ; Hanne Riis NielsonFlemming NielsonChristian W ProbstChris HankinAll authors
Publisher: Cham : Springer, 2016.
Series: Lecture notes in computer science, 9560.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Christian W. Probst, Chris Hankin, Ren�e Rydhof Hansen (editions.). Hansen, Ren�e Rydhof, ; ; Hanne Riis Nielson; Flemming Nielson; Christian W Probst; Chris Hankin; René Rydhof Hansen
ISBN: 9783319278100 331927810X 3319278096 9783319278094
OCLC Number: 934795961
Notes: Includes author index.
Description: 1 online resource (x, 345 pages) : color illustrations.
Series Title: Lecture notes in computer science, 9560.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Responsibility: Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.).

Abstract:

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.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"The collection at hand contains a fairly varied set of contributions, quite well anchored around the themes of the Nielsons' work. ... The overall quality is excellent. The variety of topics touched Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/934795961> # Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "934795961" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2881786342#Topic/semantic_computing> ; # Semantic computing
    schema:about <http://experiment.worldcat.org/entity/work/data/2881786342#Topic/calculus> ; # Calculus
    schema:about <http://dewey.info/class/515/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2881786342#Person/nielson_flemming_1955> ; # Flemming Nielson
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2881786342#Person/nielson_hanne_riis_1954> ; # Hanne Riis Nielson
    schema:datePublished "2016" ;
    schema:description "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."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/2881786342#Person/probst_christian_w> ; # Christian W. Probst
    schema:editor <http://experiment.worldcat.org/entity/work/data/2881786342#Person/hankin_chris> ; # Chris Hankin
    schema:editor <http://experiment.worldcat.org/entity/work/data/2881786342#Person/hansen_rene_rydhof> ; # René Rydhof Hansen
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2881786342> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2881786342#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2881786342#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2881786342#CreativeWork/> ;
    schema:name "Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays"@en ;
    schema:productID "934795961" ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-27809-4> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-27809-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-27810-0> ;
    schema:url <https://login.libproxy.uregina.ca:8443/login?url=https://link.springer.com/openurl?genre=book&isbn=978-3-319-27809-4> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://link.springer.com/10.1007/978-3-319-27810-0> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-27810-0> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-27810-0> ;
    schema:url <http://libproxy.uwinnipeg.ca/login?url=http://link.springer.com/10.1007/978-3-319-27810-0> ;
    schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-319-27810-0> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2017-08-17/8/9783319278100> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-27810-0> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-27810-0> ;
    schema:workExample <http://worldcat.org/isbn/9783319278100> ;
    schema:workExample <http://worldcat.org/isbn/9783319278094> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/934795961> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2881786342#Person/hankin_chris> # Chris Hankin
    a schema:Person ;
    schema:familyName "Hankin" ;
    schema:givenName "Chris" ;
    schema:name "Chris Hankin" ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Person/hansen_rene_rydhof> # René Rydhof Hansen
    a schema:Person ;
    schema:familyName "Hansen" ;
    schema:givenName "René Rydhof" ;
    schema:name "René Rydhof Hansen" ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Person/nielson_flemming_1955> # Flemming Nielson
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Nielson" ;
    schema:givenName "Flemming" ;
    schema:name "Flemming Nielson" ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Person/nielson_hanne_riis_1954> # Hanne Riis Nielson
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Nielson" ;
    schema:givenName "Hanne Riis" ;
    schema:name "Hanne Riis Nielson" ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Person/probst_christian_w> # Christian W. Probst
    a schema:Person ;
    schema:familyName "Probst" ;
    schema:givenName "Christian W." ;
    schema:name "Christian W. Probst" ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934795961> ; # Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934795961> ; # Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/2881786342#Topic/semantic_computing> # Semantic computing
    a schema:Intangible ;
    schema:name "Semantic computing"@en ;
    .

<http://worldcat.org/entity/work/data/2881786342#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/934795961> ; # Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
    .

<http://worldcat.org/isbn/9783319278094>
    a schema:ProductModel ;
    schema:isbn "3319278096" ;
    schema:isbn "9783319278094" ;
    .

<http://worldcat.org/isbn/9783319278100>
    a schema:ProductModel ;
    schema:isbn "331927810X" ;
    schema:isbn "9783319278100" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934795961> ; # Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/934795961>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/934795961> ; # Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
    schema:dateModified "2018-07-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.