To Dexter - A Tribute from Aarhus

Research output: Contribution to book/anthology/report/proceedingBook chapterCommunication

Standard

To Dexter - A Tribute from Aarhus. / Schmidt, Erik Meineche; Skyum, Sven; Nielsen, Mogens.

Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. ed. / Robert L. Constable; Alexandra Silva. Springer, 2012. p. 341 (Lecture Notes in Computer Science, Vol. 7230).

Research output: Contribution to book/anthology/report/proceedingBook chapterCommunication

Harvard

Schmidt, EM, Skyum, S & Nielsen, M 2012, To Dexter - A Tribute from Aarhus. in RL Constable & A Silva (eds), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer, Lecture Notes in Computer Science, vol. 7230, pp. 341. https://doi.org/10.1007/978-3-642-29485-3_30

APA

Schmidt, E. M., Skyum, S., & Nielsen, M. (2012). To Dexter - A Tribute from Aarhus. In R. L. Constable, & A. Silva (Eds.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp. 341). Springer. Lecture Notes in Computer Science, Vol.. 7230 https://doi.org/10.1007/978-3-642-29485-3_30

CBE

Schmidt EM, Skyum S, Nielsen M. 2012. To Dexter - A Tribute from Aarhus. Constable RL, Silva A, editors. In Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer. pp. 341. (Lecture Notes in Computer Science, Vol. 7230). https://doi.org/10.1007/978-3-642-29485-3_30

MLA

Schmidt, Erik Meineche, Sven Skyum, and Mogens Nielsen "To Dexter - A Tribute from Aarhus". and Constable, Robert L. Silva, Alexandra (editors). Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Chapter 341, Springer. (Lecture Notes in Computer Science, Vol. 7230). 2012, 341. https://doi.org/10.1007/978-3-642-29485-3_30

Vancouver

Schmidt EM, Skyum S, Nielsen M. To Dexter - A Tribute from Aarhus. In Constable RL, Silva A, editors, Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer. 2012. p. 341. (Lecture Notes in Computer Science, Vol. 7230). https://doi.org/10.1007/978-3-642-29485-3_30

Author

Schmidt, Erik Meineche ; Skyum, Sven ; Nielsen, Mogens. / To Dexter - A Tribute from Aarhus. Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. editor / Robert L. Constable ; Alexandra Silva. Springer, 2012. pp. 341 (Lecture Notes in Computer Science, Vol. 7230).

Bibtex

@inbook{3e08a069546845908b9718602cb9a1f9,
title = "To Dexter - A Tribute from Aarhus",
abstract = "At Aarhus University, we consider Dexter to be one of our oldest and best friends and colleagues. Dexter has visited our Department of Computer Science as a guest professor twice, first in 1981–1982 and again, exactly 10 years later, in 1991–1992. Both visits were immensely successful and laid the ground for continued cooperation during the following years. Dexter made numerous shorter visits to the department, and he served with great enthusiasm and competence on the advisory board for BRICS (Basic Research in Computer Science) Research Center and international PhD-School. BRICS covered both “Track A and B” activities (Algorithmics and Semantics), and as such Dexter was the ideal adviser. Looking back, we pay tribute to Dexter for his many contributions to computer science in Aarhus over a period of more than thirty years.",
author = "Schmidt, {Erik Meineche} and Sven Skyum and Mogens Nielsen",
note = "Laudios to Dexter",
year = "2012",
doi = "10.1007/978-3-642-29485-3_30",
language = "English",
isbn = "978-3-642-29484-6",
pages = "341",
editor = "Constable, {Robert L. } and { Silva}, {Alexandra }",
booktitle = "Logic and Program Semantics",
publisher = "Springer",

}

RIS

TY - CHAP

T1 - To Dexter - A Tribute from Aarhus

AU - Schmidt, Erik Meineche

AU - Skyum, Sven

AU - Nielsen, Mogens

N1 - Laudios to Dexter

PY - 2012

Y1 - 2012

N2 - At Aarhus University, we consider Dexter to be one of our oldest and best friends and colleagues. Dexter has visited our Department of Computer Science as a guest professor twice, first in 1981–1982 and again, exactly 10 years later, in 1991–1992. Both visits were immensely successful and laid the ground for continued cooperation during the following years. Dexter made numerous shorter visits to the department, and he served with great enthusiasm and competence on the advisory board for BRICS (Basic Research in Computer Science) Research Center and international PhD-School. BRICS covered both “Track A and B” activities (Algorithmics and Semantics), and as such Dexter was the ideal adviser. Looking back, we pay tribute to Dexter for his many contributions to computer science in Aarhus over a period of more than thirty years.

AB - At Aarhus University, we consider Dexter to be one of our oldest and best friends and colleagues. Dexter has visited our Department of Computer Science as a guest professor twice, first in 1981–1982 and again, exactly 10 years later, in 1991–1992. Both visits were immensely successful and laid the ground for continued cooperation during the following years. Dexter made numerous shorter visits to the department, and he served with great enthusiasm and competence on the advisory board for BRICS (Basic Research in Computer Science) Research Center and international PhD-School. BRICS covered both “Track A and B” activities (Algorithmics and Semantics), and as such Dexter was the ideal adviser. Looking back, we pay tribute to Dexter for his many contributions to computer science in Aarhus over a period of more than thirty years.

U2 - 10.1007/978-3-642-29485-3_30

DO - 10.1007/978-3-642-29485-3_30

M3 - Book chapter

SN - 978-3-642-29484-6

SP - 341

BT - Logic and Program Semantics

A2 - Constable, Robert L.

A2 - Silva, Alexandra

PB - Springer

ER -