My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
E-RESOURCE

Title Semantics, logics, and calculi : 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.).

Published Cham : Springer, 2016.

Copies

Location Call No. Status
 UniM INTERNET resource    AVAILABLE
Physical description 1 online resource (x, 345 pages) : color illustrations.
Series Lecture notes in computer science, 0302-9743 ; 9560
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 9560. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Springer English/International eBooks 2016 - Full Set
Springer Lecture Notes in Computer Science
Notes Includes author index.
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. .
Other author Nielson, Hanne Riis, 1954- honouree.
Nielson, Flemming, 1955- honouree.
Probst, Christian W., editor.
Hankin, Chris, editor.
Hansen, René Rydhof, editor.
SpringerLink issuing body.
Subject Calculus.
Semantic computing.
Electronic books.
ISBN 9783319278100 electronic bk.
331927810X electronic bk.
9783319278094
Standard Number 10.1007/978-3-319-27810-0