Differences

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

--- 2010 [2021/11/22 21:28] – ruppert
+++ 2010 [2021/11/22 21:28] (current) – ruppert
@@ Line 10: / Line 10: @@
   * Faith Ellen, Panagiota Fatourou, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]] and [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  Non-blocking binary search trees.  In //Proc. 29th ACM Symposium on Principles of Distributed Computing//, 2010.
-  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]].  On the Proof-theory of two formalisations of modal first-order logic.  In //Studia Logica// 96:349-373, 2010.
+  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]].  On the proof-theory of two formalisations of modal first-order logic.  In //Studia Logica// 96:349-373, 2010.