Laird, J. Game semantics for a polymorphic programming language. (English) Zbl 1281.68058 J. ACM 60, No. 4, Article No. 29, 27 p. (2013). MSC: 68N15 68N18 68Q55 03F52 PDF BibTeX XML Cite \textit{J. Laird}, J. ACM 60, No. 4, Article No. 29, 27 p. (2013; Zbl 1281.68058) Full Text: DOI
Arenas, Marcelo; Pérez, Jorge; Reutter, Juan Data exchange beyond complete data. (English) Zbl 1281.68105 J. ACM 60, No. 4, Article No. 28, 59 p. (2013). MSC: 68P99 68T30 68Q55 PDF BibTeX XML Cite \textit{M. Arenas} et al., J. ACM 60, No. 4, Article No. 28, 59 p. (2013; Zbl 1281.68105) Full Text: DOI
Peres, Yuval; Sotnikov, Dmitry; Sudakov, Benny; Zwick, Uri All-pairs shortest paths in \(O(n^2)\) time with high probability. (English) Zbl 1281.05126 J. ACM 60, No. 4, Article No. 26, 25 p. (2013). MSC: 05C85 05C22 05C80 05C12 PDF BibTeX XML Cite \textit{Y. Peres} et al., J. ACM 60, No. 4, Article No. 26, 25 p. (2013; Zbl 1281.05126) Full Text: DOI arXiv
Alon, Noga; Yuster, Raphael Matrix sparsification and nested dissection over arbitrary fields. (English) Zbl 1281.65074 J. ACM 60, No. 4, Article No. 25, 18 p. (2013). MSC: 65F50 PDF BibTeX XML Cite \textit{N. Alon} and \textit{R. Yuster}, J. ACM 60, No. 4, Article No. 25, 18 p. (2013; Zbl 1281.65074) Full Text: DOI
Gottlob, Georg; Greco, Gianluigi Decomposing combinatorial auctions and set packing problems. (English) Zbl 1281.91088 J. ACM 60, No. 4, Article No. 24, 39 p. (2013). MSC: 91B26 05C65 05C90 90C27 PDF BibTeX XML Cite \textit{G. Gottlob} and \textit{G. Greco}, J. ACM 60, No. 4, Article No. 24, 39 p. (2013; Zbl 1281.91088) Full Text: DOI
Godoy, Guillem; Giménez, Omer The HOM problem is decidable. (English) Zbl 1281.68145 J. ACM 60, No. 4, Article No. 23, 44 p. (2013). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{G. Godoy} and \textit{O. Giménez}, J. ACM 60, No. 4, Article No. 23, 44 p. (2013; Zbl 1281.68145) Full Text: DOI