User Tools

Site Tools


theory:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
theory:start [2013/07/02 11:29]
Patrick Michel
theory:start [2013/07/02 11:44]
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 ^ 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. | |+| [[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. )) |
theory/start.txt · Last modified: 2013/07/02 11:44 by Patrick Michel