Thomas Bolander

Thomas Bolander

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 022

2800 Kgs. Lyngby

Ph.
Fax +45 45 93 00 74
E-mail tobo@dtu.dk
ORCID 0000-0003-1551-1703
Home page

Request a vCard via e-mail.

Profile
Publications
Projects
Courses
CV
DTU news
Loading

Publications rss feed

2015
 

Kursusudvikling gennem systematisk evaluering

Bolander, Thomas
part of: Universitetspædagogiske praksisser, pages: 283-300, 2015, Samfundslitteratur

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015

2012
 

Advances in Modal Logic

Bolander, Thomas ; Braüner, Torben (Editor) ; Ghilardi, Silvio (Editor) ; Moss, Lawrence (Editor)

Type: Book

Status: Published     |    Year: 2012

2009
 

Hybrid Logic: Dedicated to the Memory of Volker Weber

Braüner, Torben (Editor) ; Bolander, Thomas

Type: Book (Peer reviewed)

Status: Published     |    Year: 2009

 

Logik, computere og kunstig intelligens

Bolander, Thomas ; Nilsson, Jørgen Fischer ; Villadsen, Jørgen
part of: Matematiske horisonter, pages: 218-233, 2009, Technical University of Denmark, DTU Informatics, Building 321, Kgs. Lyngby

Type: Book chapter

Status: Published     |    Year: 2009

2008
 

Self-reference

Bolander, Thomas
part of: Stanford Encyclopedia of Philsophy, 2008, CSLI Publications

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2008

2007
 

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Blackburn, Patrick (Editor) ; Bolander, Thomas ; Braüner, Torben (Editor) ; de Paiva, Valeria (Editor) ; Villadsen, Jørgen

Type: Book (Peer reviewed)

Status: Published     |    Year: 2007

 

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Villadsen, Jørgen ; Bolander, Thomas ; Braüner, Torben (Editor)

Type: Book (Peer reviewed)

Status: Published     |    Year: 2007

2006
 

Introduction to self-reference

Bolander, Thomas
part of: Self-Reference, 2006, CSLI Publications, Stanford

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2006

 

Proceedings of the International Workshop on Hybrid Logic

Blackburn, Patrick (Editor) ; Bolander, Thomas ; Braüner, Torben (Editor) ; de Paiva, Valeria (Editor) ; Villadsen, Jørgen

Type: Book (Peer reviewed)

Status: Published     |    Year: 2006

 

Self-Reference

Bolander, Thomas ; Hendricks, Vincent F. (Editor) ; Pedersen, Stig Andur

Type: Book (Peer reviewed)

Status: Published     |    Year: 2006


Show all