This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
theory:start [2013/07/02 11:29] Patrick Michel |
theory:start [2013/07/02 11:31] Patrick Michel |
||
---|---|---|---|
Line 7: | Line 7: | ||
^ Version ^ Description ^ Document ^ | ^ Version ^ Description ^ Document ^ | ||
| [[https://xcend.de/theory/html/itp/|ITP]] | Published at [[http://itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | [[https://softech.cs.uni-kl.de/twiki/pub/Homepage/Publikationen/itp12.pdf|paper]] | | | [[https://xcend.de/theory/html/itp/|ITP]] | Published at [[http://itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | [[https://softech.cs.uni-kl.de/twiki/pub/Homepage/Publikationen/itp12.pdf|paper]] | | ||
- | | [[https://xcend.de/theory/html/phd/|PhD]] | The accompanying theory of the PhD thesis. | | | + | | [[https://xcend.de/theory/html/phd/|PhD]] | The accompanying theory of the PhD thesis. | in revision | |