Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Christian W. Probst (Redaktør), Chris Hankin (Redaktør), Rene Rydhof Hansen (Redaktør)

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

Originalsprog	Engelsk

Navn	Lecture Notes in Computer Science
Vol/bind	9560
ISSN	0302-9743

Adgang til dokumentet

@book{494b19dea4c14836a9fdaac31dd74b42,

title = "Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays",

editor = "Probst, {Christian W.} and Chris Hankin and Hansen, {Rene Rydhof}",

year = "2016",

doi = "10.1007/978-3-319-27810-0",

language = "English",

isbn = "978-3-319-27809-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Springer, 2016. (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

TY - BOOK

T1 - Semantics, Logics, and Calculi

T2 - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

A2 - Probst, Christian W.

A2 - Hankin, Chris

A2 - Hansen, Rene Rydhof

PY - 2016

Y1 - 2016

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

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

M3 - Anthology

SN - 978-3-319-27809-4

T3 - Lecture Notes in Computer Science

BT - Semantics, Logics, and Calculi

PB - Springer

ER -