Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Dansk
English
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Patrick Bahr public CV
Patrick Bahr
Associate Professor
,
Theoretical Computer Science
Programming Logic and Semantics
Head of Programme
,
MSc in Software Design
https://orcid.org/0000-0003-1600-8261
Email
paba
itu
dk
2009
2024
Research activity per year
Overview
Fingerprint
Network
Publications
(43)
Datasets
(3)
Projects
(1)
Similar Profiles
(1)
Research output
Research output per year
2009
2011
2012
2014
2015
2017
2018
2024
2024
20
Book chapter
10
Article in proceedings
9
Journal article
2
Conference article
2
More
1
Paper
1
Master's thesis
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Master's thesis
Search results
2009
Infinitary Rewriting - Theory and Applications
Bahr, P.
,
1 Sept 2009
, Vienna.
Research output
:
Theses
›
Master's thesis
Term Graphs
100%
Infinitary Term Rewriting
100%
Partial Order
100%
Graph Rewriting
75%
Ordered Models
50%