theory:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
theory:start [2013/07/02 11:26] Patrick Michel |
theory:start [2013/07/02 11:29] Patrick Michel |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| The full theory (as <nowiki>HTML and PDF</nowiki>) is available here: | The full theory (as <nowiki>HTML and PDF</nowiki>) is available here: | ||
| - | ^ Version ^ Description ^ | + | ^ Version ^ Description ^ Document ^ |
| - | | [[https://xcend.de/theory/html/itp/|ITP]] | Published at [[http://itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | | + | | [[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. | | |
theory/start.txt · Last modified: 2013/07/02 11:44 by Patrick Michel
Page Tools
