Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| theory:start [2013/07/02 11:31] – Patrick Michel | theory:start [2013/07/02 11:44] (current) – Patrick Michel |
|---|
| 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 ^ Document ^ | ^ Version ^ Description ^ Resources ^ |
| | [[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. | in revision | | | [[https://xcend.de/theory/html/phd/|PhD]] | The accompanying theory of the PhD thesis. | [[https://xcend.de/theory/html/phd/sources.zip|sources]]((A //flat// ZIP file of all "thy" files. )) | |
