Semantics, logics, and calculi: [electronic resource] :: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /: Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.).

Nielson, Hanne Riis,; Nielson, Flemming,; Probst, Christian W.,; Hankin, Chris,; Hansen, René Rydhof,

doi:10.1007/978-3-319-27810-0

Semantics, logics, and calculi [electronic resource] : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays / Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.).

Nielson, Hanne Riis, 1954- honouree.; Nielson, Flemming, 1955- honouree.; Probst, Christian W., editor.; Hankin, Chris, editor.; Hansen, René Rydhof, editor.

2016

QA303.2

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Semantics, logics, and calculi [electronic resource] : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays / Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.).

ISBN

9783319278100 (electronic book)
331927810X (electronic book)
9783319278094

DOI

https://doi.org/10.1007/978-3-319-27810-0

Published

Cham : Springer, 2016.

Language

English

Description

1 online resource (x, 345 pages) : color illustrations.

Item Number

10.1007/978-3-319-27810-0 doi

Call Number

QA303.2

Dewey Decimal Classification

515

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 their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016. .

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed January 15, 2016).

Added Author

Nielson, Hanne Riis, 1954- honouree.
Nielson, Flemming, 1955- honouree.
Probst, Christian W., editor.
Hankin, Chris, editor.
Hansen, René Rydhof, editor.

Series

Lecture notes in computer science ; 9560.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.

Linked Resources

Online Access