Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

 

---

Material for a talk given at DCC 2004.

• Corrected version of submitted abstract.
  [ postscript | pdf ]

• Contribution to participants' proceedings.
  [ postscript | pdf ]

• Report entitled PSL semantics in higher order logic
  (extended version of the contribution to participants' proceedings).
  Last major update: 9 April, 2004.
  [ postscript | pdf ]

• Talk.
  [ postscript | pdf ]

---

Mike Gordon
Sun Feb 22, 2004
Fri Apr 09, 2004