Logic in Computer Science
Authors and titles for October 2015
- [56] arXiv:1510.05460 (cross-list from cs.FL) [pdf, other]
- [57] arXiv:1510.06233 (cross-list from math.RA) [pdf, other]
- [58] arXiv:1510.06587 (cross-list from cs.MA) [pdf, other]
- [59] arXiv:1510.06700 (cross-list from cs.CC) [pdf, other]
- [60] arXiv:1510.07293 (cross-list from cs.FL) [pdf, other]
- [61] arXiv:1510.07313 (cross-list from cs.SY) [pdf, other]
- [62] arXiv:1510.07898 (cross-list from cs.SE) [pdf, other]
- [63] arXiv:1510.08474 (cross-list from cs.SY) [pdf, other]