- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Steven Perron: Quantified Propositional Logspace Reasoning CoRR abs/0801.4105: (2008) |
| 2005 | ||
| 2 | | Steven Perron: A Propositional Proof System for Log Space. CSL 2005: 509-524 |
| 2003 | ||
| 1 |  | Stavros Konstantinidis, Steven Perron, L. Amber Wilcox-O'Hearn: On a simple method for detecting synchronization errors in coded messages. IEEE Transactions on Information Theory 49(5): 1355-1363 (2003) |
| 1 | Stavros Konstantinidis | [1] |
| 2 | L. Amber Wilcox-O'Hearn | [1] |