# Logic in Computer Science

## Authors and titles for cs.LO in Apr 2014

[ total of 98 entries:**1-10**| 11-20 | 21-30 | 31-40 | ... | 91-98 ]

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

- [1] arXiv:1404.0079 [pdf, other]
- [2] arXiv:1404.0080 [pdf, other]
- [3] arXiv:1404.0081 [pdf, ps, other]
- [4] arXiv:1404.0082 [pdf, other]
- [5] arXiv:1404.0087 [pdf, ps, other]
- [6] arXiv:1404.0144 [pdf, ps, other]
- [7] arXiv:1404.0297 [pdf, ps, other]
- [8] arXiv:1404.0570 [pdf, ps, other]
- [9] arXiv:1404.0606 [pdf, ps, other]
- [10] arXiv:1404.0665 [pdf, ps, other]

**1-10**| 11-20 | 21-30 | 31-40 | ... | 91-98 ]

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

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2211, contact, help (Access key information)