Logic in Computer Science
Authors and titles for October 2018
- [91] arXiv:1810.05106 (cross-list from cs.GT) [pdf, other]
- [92] arXiv:1810.05377 (cross-list from quant-ph) [pdf, other]
- [93] arXiv:1810.06037 (cross-list from math.CT) [pdf, other]
- [94] arXiv:1810.06985 (cross-list from cs.AI) [pdf, other]
- [95] arXiv:1810.08170 (cross-list from cs.AI) [pdf, other]
- [96] arXiv:1810.08831 (cross-list from cs.AI) [pdf, other]
- [97] arXiv:1810.09611 (cross-list from cs.PL) [pdf, other]
- [98] arXiv:1810.09612 (cross-list from cs.PL) [pdf, other]
- [99] arXiv:1810.09613 (cross-list from cs.PL) [pdf, other]
- [100] arXiv:1810.10143 (cross-list from cs.SE) [pdf, other]