Differences

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

--- 2013 [2021/10/15 11:07] – created ruppert
+++ 2013 [2021/11/22 21:29] (current) – ruppert
@@ Line 8: / Line 8: @@
   * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Energy Constrained Positioning in Mobile Wireless Ad hoc and Sensor Networks. In //Proc. 4th International Conference on Ambient Systems, Networks and Technologies and 3rd International Conference on Sustainable Energy Information Technology//, 2013.
+  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]].  A proof theoretic tool for first-order modal logic.  In //Bulletin of the Section of Logic//, 42(3-4):93-110, 2013.
   * [[http://www.cse.yorku.ca/~niloo"|Niloufar Shafiei]]. Non-blocking patricia tries with replace operations.  In //Proc. 33rd International Conference on Distributed Computing Systems//, 2013
   * Hui Wang, Michael Jenkin, [[http://www.cse.yorku.ca/~patrick|Patrick W. Dymond]]. Enhancing Exploration in Topological Worlds with a Directional Immovable Marker. In //Proc. 10th Conference on Computer and Robot Vision//, 2013.