Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
LogicalFramework.pdf | 2010-09-06 10:00 | 437K | ||
LogicalFramework.ps | 2009-06-29 13:51 | 879K | ||
decidability.pdf | 2011-11-09 14:02 | 142K | ||
evolution.html | 2013-09-02 13:04 | 11K | ||
evolvingworlds.eps | 2006-10-19 17:07 | 24K | ||
evolvingworlds.jpg | 2006-10-20 17:36 | 30K | ||
evolvingworlds.pdf | 2006-10-20 17:08 | 9.5K | ||
lncs.pdf | 2007-05-25 16:38 | 139K | ||
logic.pdf | 2008-10-03 09:45 | 134K | ||
masters.pdf | 2011-11-08 16:48 | 531K | ||
metametabuffers.eps | 2006-10-20 17:48 | 6.0K | ||
metametabuffers.fig | 2006-10-20 17:53 | 2.8K | ||
metametabuffers.jpg | 2006-10-20 17:49 | 49K | ||
metametabuffers.pdf | 2006-10-20 17:49 | 6.3K | ||
paper2010.pdf | 2010-09-06 10:24 | 163K | ||
paper2010a.pdf | 2010-09-06 10:28 | 203K | ||
short.pdf | 2006-10-27 13:08 | 127K | ||
short.ps | 2006-10-27 12:55 | 212K | ||
short1.pdf | 2007-02-08 15:59 | 156K | ||
short2.pdf | 2007-04-07 14:00 | 160K | ||
slides1.pdf | 2007-01-09 15:58 | 2.1M | ||
talk1.txt | 2007-01-09 16:00 | 1.2K | ||
tase.pdf | 2007-05-24 17:37 | 326K | ||
temporal.pdf | 2006-10-20 18:01 | 275K | ||
temporal.ps | 2006-10-20 18:01 | 671K | ||