Logic in Computer Science
Authors and titles for July 2012
- [51] arXiv:1207.0871 (cross-list from cs.CR) [pdf, other]
- [52] arXiv:1207.0873 (cross-list from cs.SY) [pdf, other]
- [53] arXiv:1207.1034 (cross-list from cs.GL) [pdf, other]
- [54] arXiv:1207.1276 (cross-list from cs.SY) [pdf, other]
- [55] arXiv:1207.1410 (cross-list from cs.AI) [pdf, other]
- [56] arXiv:1207.1641 (cross-list from cs.AI) [pdf, other]
- [57] arXiv:1207.1832 (cross-list from cs.AI) [pdf, other]
- [58] arXiv:1207.1841 (cross-list from cs.SE) [pdf, other]
- [59] arXiv:1207.2300 (cross-list from cs.MS) [pdf, other]
- [60] arXiv:1207.2746 (cross-list from cs.SE) [pdf, other]
- [61] arXiv:1207.3315 (cross-list from cs.AI) [pdf, other]
- [62] arXiv:1207.3937 (cross-list from cs.PL) [pdf, other]
- [63] arXiv:1207.5140 (cross-list from math.LO) [pdf, other]
- [64] arXiv:1207.5220 (cross-list from cs.CC) [pdf, other]