Skip to main navigation
Skip to search
Skip to main content
Dansk
English
Home
Profiles
Research Units
Research Output
Projects
Activities
Press / Media
Prizes
Search by expertise, name or affiliation
Programming, Logic and Intelligent Systems
Roskilde University
Department of People and Technology
Overview
Network
Profiles
(20)
Research Output
(397)
Projects
(26)
Activities
(354)
Press / Media
(14)
Prizes
(1)
Research Output
Research Output per year
2004
2020
152
Article in proceedings
85
Journal article
30
Anthology
27
Book chapter
103
More
26
Conference article
24
Paper
11
Ph.D. thesis
7
Report
7
Editorial
6
Conference abstract for conference
5
Encyclopedia chapter
4
Net publication - Internet publication
3
Compendium/lecture notes
2
Preface/postscript
2
Poster
2
Working paper
1
Book
1
Doctoral thesis
1
Contribution to newspaper - Newspaper article
1
Literature 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