Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Proof support for raise
Lindegaard, Morten Peter
(PhD Student)
Haxthausen, Anne Elisabeth
(Main Supervisor)
Hansen, Michael Reichhardt
(Supervisor)
Sharp, Robin Ian
(Examiner)
Janowski, Tomasz
(Examiner)
Krieg-Bruckner, Bernd
(Examiner)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/04/2000
→
25/05/2004
Funding
DTU stipendium
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Reuse Strategy
Keyphrases
100%
high-order logic
Computer Science
100%
Comorphism
Keyphrases
29%
Semantik
Keyphrases
11%
Logic Proofs
Keyphrases
11%
Theoretic Model
Computer Science
11%
Specification Language
Computer Science
11%
Regel
Keyphrases
5%
Research output
Publications per year
2004
2004
2004
1
Ph.D. thesis
Publications per year
Publications per year
Proof support for RAISE - by a Reuse Approach Based on Institutions
Lindegaard, M. P.,
May 2004
, Kgs. Lyngby:
Technical University of Denmark
.
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Reuse Strategy
100%
high-order logic
100%
Comorphism
29%
Semantik
11%
Logic Proofs
11%
114
Downloads (Pure)