國立高雄大學圖資館 |

Language: English

Back

Semantics, logics, and calculiessays...

Hankin, Chris.

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Semantics, logics, and calculiedited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen.
Reminder of title:	essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
other author:	Probst, Christian W.
Published:	Cham :Springer International Publishing :2016.
Description:	x, 345 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Calculus.
Online resource:	https://doi.org/10.1007/978-3-319-27810-0
ISBN:	9783319278100$q(electronic bk.)

Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /[electronic resource] :edited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen. - Cham :Springer International Publishing :2016. - x, 345 p. :ill., digital ;24 cm. - Lecture notes in computer science,95600302-9743 ;. - Theoretical computer science and general issues..

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.

ISBN: 9783319278100$q(electronic bk.)

Standard No.: 10.1007/978-3-319-27810-0doiSubjects--Topical Terms:

183091
Calculus.

LC Class. No.: QA303.2

Dewey Class. No.: 515

Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
LDR:01744nmm a2200349 a 4500 001 548898
003 DE-He213
005 20190724134216.0
006 m d
007 cr nn 008maaau
008 190822s2016 gw s 0 eng d
020 $a 9783319278100$q(electronic bk.)
020 $a 9783319278094$q(paper)
024 7 $a 10.1007/978-3-319-27810-0 $2 doi
035 $a 978-3-319-27810-0
040 $a GP $c GP $e rda
041 0 $a eng
050 4 $a QA303.2
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 515 $2 23
090 $a QA303.2 $b .S471 2016
245 0 0 $a Semantics, logics, and calculi $h [electronic resource] : $b essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays / $c edited by Christian W. Probst, Chris Hankin, Rene Rydhof Hansen.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a x, 345 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9560
490 1 $a Theoretical computer science and general issues
520 $a 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.
650 0 $a Calculus. $3 183091
650 0 $a Semantic computing. $3 384598
650 1 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
700 1 $a Probst, Christian W. $3 489501
700 1 $a Hankin, Chris. $3 285034
700 1 $a Hansen, Rene Rydhof. $3 828469
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Theoretical computer science and general issues. $3 822018
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-319-27810-0
950 $a Computer Science (Springer-11645)