| No. | Title | Author | Year |
|---|---|---|---|
| 1 | The Church Synthesis Problem with Metric | Jenkins, Mark et al. | 2011 |
| 2 | Computing Rational Radical Sums in Uniform TC^0 | Hunter, Paul et al. | 2010 |
| 3 | On Termination for Faulty Channel Machines | Bouyer, Patricia et al. | 2008 |
| Number of result pages: | 1 |
| Number of documents: | 3 |
