Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Priser
Presse/medier
Søg efter ekspertise, navn eller tilknytning
Patrick Bahr public CV
Patrick Bahr
Associate Professor, Head of study programme
,
Computer Science
Programming Logic and Semantics
https://orcid.org/0000-0003-1600-8261
Fastnet
72185280
E-mail
paba
itu
dk
2009
2022
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(38)
Lignende profiler
(6)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Patrick Bahr er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
Sorter
Vægt
Alfabetisk
Teknik og materialevidenskab
Computer programming languages
78%
Semantics
72%
Acoustic waves
72%
Productivity
68%
Specifications
55%
Clocks
47%
Temporal logic
43%
Diamonds
36%
Computability and decidability
25%
Ecosystems
19%
Syntactics
18%
Machine oriented languages
14%
Data storage equipment
11%
Matematik
Term Rewriting
100%
Graph Rewriting
54%
Rewriting Systems
46%
Type Theory
41%
Partial Order
36%
Recursion
35%
Semantics
31%
Term
26%
Reasoning
21%
Metric
20%
Model
15%
Strong Normalization
9%
Productivity
9%
Indexing
9%
Confluence
9%
Programming Languages
7%
Term Rewriting Systems
7%
Type Systems
7%
Sharing
7%
Programming
6%
Graph in graph theory
6%
Strong Convergence
5%
Divergence
5%
Normal Form
5%