diff -r ca3a6f5c88ab -r c214a2dce02c publications.html
--- a/publications.html Sun Apr 10 20:46:30 2016 +0100
+++ b/publications.html Sun Apr 10 20:50:57 2016 +0100
@@ -57,7 +57,7 @@
-
+
|
@@ -219,7 +219,7 @@
(with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic
Frameworks with Applications (LFSA'08). Electronic
Notes in Theoretical Computer Science, 247, Pages 139-155, 2009.
- [pdf].
+ [pdf].
Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'09).
(with Berghofer, Nipkow and Wenzel) Volume 5674 of Lecture Notes in
@@ -241,7 +241,7 @@
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society,
June 2008. Pages 45-56.
[pdf] More
- information is elsewhere.
+ information is elsewhere.
Nominal Inversion Principles. (with Berghofer)
In Proceedings of 21st International Conference on Theorem Proving in
@@ -509,7 +509,7 @@
- Last modified: Sun Apr 10 20:45:14 BST 2016
+ Last modified: Sun Apr 10 20:49:18 BST 2016
[Validate this page.]