# Logic in Computer Science

## Authors and titles for cs.LO in May 2012

[ total of 39 entries:**1-10**| 11-20 | 21-30 | 31-39 ]

[ showing 10 entries per page: fewer | more | all ]

- [1] arXiv:1205.0126 [pdf, ps, other]
- [2] arXiv:1205.0139 [pdf, other]
- [3] arXiv:1205.0357 [pdf, ps, other]
- [4] arXiv:1205.0679 [pdf, ps, other]
- [5] arXiv:1205.0722 [pdf, other]
- [6] arXiv:1205.0913 [pdf, ps, other]
- [7] arXiv:1205.0946 [pdf, other]
- [8] arXiv:1205.1358 [pdf, ps, other]
- [9] arXiv:1205.2117 [pdf, ps, other]
- [10] arXiv:1205.2492 [pdf, ps, other]

**1-10**| 11-20 | 21-30 | 31-39 ]

[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)