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
Infinitary Rewriting - Theory and Applications
Patrick Bahr
Technical University of Dresden
Vienna University of Technology
Publikation
:
Afhandlinger
›
Kandidatspeciale
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Infinitary Rewriting - Theory and Applications'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Term Graphs
100%
Infinitary Term Rewriting
100%
Partial Order
100%
Graph Rewriting
75%
Ordered Models
50%
Reduction Sequence
50%
Process Calculi
25%
Functional Programming
25%
Natural Places
25%
Term Rewriting
25%
Mathematics
Partial Order
100%
Calculus
25%
Formal Model
25%