Steven Perron

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Kit Barton, Amy Wang, Steven Perron, Priya Unnikrishnan
Challenges for parallel computing. CASCON (2011)
Kit Barton, Steven Perron, Guansong Zhang
6th Workshop on Challenges for Parallel Computing. CASCON (2010)
Steven Perron
Examining fragments of the quantified propositional calculus. J. Symb. Log. 73 (3) (2008)
Steven Perron
Quantified Propositional Logspace Reasoning CoRR (2008)
Steven Perron
A Propositional Proof System for Log Space. CSL (2005)
Stavros Konstantinidis, Steven Perron, L. Amber Wilcox-O'Hearn
On a simple method for detecting synchronization errors in coded messages. IEEE Trans. Inf. Theory 49 (5) (2003)