Theory Group

User Tools

Site Tools

You are here: Theory of Computing Group » 2010
Trace:
2010

Differences

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

Link to this comparison view

Next revision		Previous revision
2010 [2014/08/19 15:57] – created ruppert2010 [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.   * 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.
  
2010.1408463838.txt.gz · Last modified: 2014/08/19 15:57 by ruppert