Winter, Michael Dependencies in relational models of databases. (English) Zbl 1355.68076 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1095-1107 (2016). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Winter}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1095--1107 (2016; Zbl 1355.68076) Full Text: DOI
Uustalu, Tarmo A divertimento on MonadPlus and nondeterminism. (English) Zbl 1355.68041 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1086-1094 (2016). MSC: 68N18 18C20 20M50 PDFBibTeX XMLCite \textit{T. Uustalu}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1086--1094 (2016; Zbl 1355.68041) Full Text: DOI
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. Continuity as a computational effect. (English) Zbl 1355.68059 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1057-1085 (2016). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{R. Neves} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1057--1085 (2016; Zbl 1355.68059) Full Text: DOI arXiv
Naumann, David A. Towards patterns for heaps and imperative lambdas. (English) Zbl 1355.68040 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1038-1056 (2016). MSC: 68N18 PDFBibTeX XMLCite \textit{D. A. Naumann}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1038--1056 (2016; Zbl 1355.68040) Full Text: DOI arXiv
Madeira, Alexandre; Neves, Renato; Martins, Manuel A. An exercise on the generation of many-valued dynamic logics. (English) Zbl 1355.03023 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1011-1037 (2016). MSC: 03B70 03B50 03G25 PDFBibTeX XMLCite \textit{A. Madeira} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1011--1037 (2016; Zbl 1355.03023) Full Text: DOI
Macedo, Hugo Daniel Gaussian elimination is not optimal, revisited. (English) Zbl 1357.65035 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 999-1010 (2016). MSC: 65F05 15A69 65F30 PDFBibTeX XMLCite \textit{H. D. Macedo}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 999--1010 (2016; Zbl 1357.65035) Full Text: DOI Link
Jones, Cliff B.; Hayes, Ian J. Possible values: exploring a concept for concurrency. (English) Zbl 1355.68043 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 972-984 (2016). MSC: 68N19 PDFBibTeX XMLCite \textit{C. B. Jones} and \textit{I. J. Hayes}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 972--984 (2016; Zbl 1355.68043) Full Text: DOI arXiv
Höfner, Peter; Möller, Bernhard Extended feature algebra. (English) Zbl 1355.68054 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 952-971 (2016). MSC: 68N30 PDFBibTeX XMLCite \textit{P. Höfner} and \textit{B. Möller}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 952--971 (2016; Zbl 1355.68054) Full Text: DOI
Hinze, Ralf; Marsden, Dan Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. (English) Zbl 1375.18027 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 931-951 (2016). MSC: 18C20 PDFBibTeX XMLCite \textit{R. Hinze} and \textit{D. Marsden}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 931--951 (2016; Zbl 1375.18027) Full Text: DOI
Gibbons, Jeremy Kernels, in a nutshell. (English) Zbl 1355.68179 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 921-930 (2016). MSC: 68Q65 PDFBibTeX XMLCite \textit{J. Gibbons}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 921--930 (2016; Zbl 1355.68179) Full Text: DOI
Ferreira, João F.; Mendes, Alexandra A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. (English) Zbl 1366.05025 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 906-920 (2016). MSC: 05C05 11A05 PDFBibTeX XMLCite \textit{J. F. Ferreira} and \textit{A. Mendes}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 906--920 (2016; Zbl 1366.05025) Full Text: DOI
Chiang, Yu-Hsi; Mu, Shin-Cheng Formal derivation of greedy algorithms from relational specifications: a tutorial. (English) Zbl 1355.68049 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 879-905 (2016). MSC: 68N30 68N15 68T15 PDFBibTeX XMLCite \textit{Y.-H. Chiang} and \textit{S.-C. Mu}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 879--905 (2016; Zbl 1355.68049) Full Text: DOI
Boute, Raymond Why mathematics needs engineering. (English) Zbl 1360.00087 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 867-878 (2016). MSC: 00A35 18A15 PDFBibTeX XMLCite \textit{R. Boute}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 867--878 (2016; Zbl 1360.00087) Full Text: DOI arXiv
Boiten, Eerke A. Diversity and adjudication. (English) Zbl 1355.68042 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 860-866 (2016). MSC: 68N19 PDFBibTeX XMLCite \textit{E. A. Boiten}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 860--866 (2016; Zbl 1355.68042) Full Text: DOI arXiv
Barthe, Gilles; Crespo, Juan Manuel; Kunz, César Product programs and relational program logics. (English) Zbl 1355.68047 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 847-859 (2016). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{G. Barthe} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 847--859 (2016; Zbl 1355.68047) Full Text: DOI
Backhouse, Roland Factor theory and the unity of opposites. (English) Zbl 1355.68180 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 824-846 (2016). MSC: 68Q70 06A15 68W32 PDFBibTeX XMLCite \textit{R. Backhouse}, J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 824--846 (2016; Zbl 1355.68180) Full Text: DOI
Barbosa, Luis; Cunha, Alcino; Silva, Alexandra A tribute to José Nuno Oliveira. (English) Zbl 1352.01024 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 805 (2016). MSC: 01A70 PDFBibTeX XMLCite \textit{L. Barbosa} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 805 (2016; Zbl 1352.01024) Full Text: DOI