1 option
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.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9560.
- Theoretical Computer Science and General Issues ; 9560
- Language:
- English
- Subjects (All):
- Computer logic.
- Software engineering.
- Application software.
- Algorithms.
- Logic, Symbolic and mathematical.
- Programming languages (Electronic computers).
- 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.
- Local Subjects:
- 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.
- Physical Description:
- 1 online resource (X, 345 pages) : 96 illustrations in color.
- Edition:
- First edition 2016.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2016.
- System Details:
- text file PDF
- 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 Format:
- Printed edition:
- ISBN:
- 978-3-319-27810-0
- 9783319278100
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.