Return to home page
Searching: all OPAL Libraries
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
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.).
Imprint Cham : Springer, 2016.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
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.
Subject Calculus.
Semantic computing.
Genre/Form Electronic books.
Alt Name Nielson, Hanne Riis, 1954- honouree.
Nielson, Flemming, 1955- honouree.
Probst, Christian W., editor.
Hankin, Chris, editor.
Hansen, René Rydhof, editor.
Ohio Library and Information Network.
Description 1 online resource (x, 345 pages) : color illustrations.
Note 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. .
Access Available to OhioLINK libraries.
Note Online resource; title from PDF title page (SpringerLink, viewed January 15, 2016).
ISBN 9783319278100 electronic bk.
331927810X electronic bk.
9783319278094
ISBN/ISSN 10.1007/978-3-319-27810-0
OCLC # 934795961