Skip to main navigation
Skip to search
Skip to main content
Roskilde University Research Portal Home
Dansk
English
Home
Profiles
Research units
Research output
Projects
Activities
Press/Media
Datasets
Prizes
Search by expertise, name or affiliation
Programming, Logic and Intelligent Systems
Roskilde University
Department of People and Technology
Overview
Network
Profiles
(28)
Research output
(397)
Projects
(38)
Activities
(399)
Press/Media
(29)
Prizes
(1)
Datasets
(1)
Research output
Research output per year
2004
2006
2007
2008
2009
2011
2017
2018
2020
2021
2023
2023
138
Article in proceedings
80
Journal article
30
Book chapter
30
Conference article
119
More
29
Anthology
23
Paper
11
Ph.D. thesis
9
Report
8
Editorial
7
Conference abstract for conference
7
Net publication - Internet publication
6
Encyclopedia chapter
3
Compendium/lecture notes
3
Preface/postscript
3
Preprint
2
Poster
2
Working paper
1
Book
1
Doctoral thesis
1
Conference abstract in proceedings
1
Contribution to newspaper - Newspaper article
1
Literature review
1
Review
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Book
Search results
2011
Hybrid Logic and its Proof-Theory
Braüner, T.
,
2011
,
Springer Science+Business Media
.
231 p.
(Applied Logic Series, Vol. 37).
Research output
:
Book/Report
›
Book
›
Research
›
peer-review