Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Patrick Bahr public CV
Patrick Bahr
Lektor
,
Theoretical Computer Science
Programming Logic and Semantics
Uddannelsesleder
,
Kandidat i Softwaredesign
https://orcid.org/0000-0003-1600-8261
E-mail
paba
itu
dk
2009
2024
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(43)
Projekter
(1)
Forskningsdatasæt
(3)
Lignende profiler
(1)
Publikation
Publikationer pr. år
2009
2011
2012
2014
2015
2017
2018
2024
2024
20
Bidrag til bog/antologi
10
Konferencebidrag i proceedings
9
Tidsskriftartikel
2
Konferenceartikel
2
Mere
1
Paper
1
Kandidatspeciale
Publikationer pr. år
Publikationer pr. år
1 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Kandidatspeciale
Søgeresultater
2009
Infinitary Rewriting - Theory and Applications
Bahr, P.
,
1 sep. 2009
, Vienna.
Publikation
:
Afhandlinger
›
Kandidatspeciale
Term Graphs
100%
Infinitary Term Rewriting
100%
Partial Order
100%
Graph Rewriting
75%
Ordered Models
50%