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