Differences

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

--- 2014 [2021/11/22 21:23] – ruppert
+++ 2014 [2021/11/22 21:29] (current) – ruppert
@@ Line 17: / Line 17: @@
   * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Reducing the Positional Error of Connectivity-Based Positioning Algorithms Through Cooperation Between Neighbors.  //IEEE Transactions on Mobile Computing//, 13(8): 1868-1882, 2014.
-  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]]. On the Proof-Theory of a First-Order Version of GL.  In //Logic and Logical Philosophy//, 23(3):329-363, 2014.
+  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]]. On the proof-theory of a first-order version of GL.  In //Logic and Logical Philosophy//, 23(3):329-363, 2014.
   * Nastaran Shafiei, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. Automatic handling of native methods in Java PathFinder. In //Proc. International Symposium on Model Checking of Software//, 2014.