Differences

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

wg1-foundations [2013/09/06 22:54]
hans [The 2013 state-of-the-art report]
wg1-foundations [2013/09/20 17:11] (current)
hans
Line 27: Line 27:
 [[http://www.operationalsemantics.net/behaviouralwiki/txt/march2013.tex|The report from March 2013 (LaTeX source file)]] - using the bibliography file [[http://www.operationalsemantics.net/behaviouralwiki/txt/betty-wg1.bib|betty-wg1.bib]] [[http://www.operationalsemantics.net/behaviouralwiki/txt/march2013.tex|The report from March 2013 (LaTeX source file)]] - using the bibliography file [[http://www.operationalsemantics.net/behaviouralwiki/txt/betty-wg1.bib|betty-wg1.bib]]
  
-{{:main-060913.pdf|The current (as of September 2013), still incomplete draft of the report can be found here as a PDF file.}}+{{:wg1-report-200913.pdf|The current (as of 20 September 2013), still incomplete draft of the report can be found here as a PDF file.}}
  
 [[WG1 2013 bibliography|An initial bibliography is available here.]] [[WG1 2013 bibliography|An initial bibliography is available here.]]
 
wg1-foundations.txt · Last modified: 2013/09/20 17:11 by hans
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki