Firsov, Denis; Uustalu, Tarmo Certified CYK parsing of context-free languages. (English) Zbl 1371.68137 J. Log. Algebr. Methods Program. 83, No. 5-6, 459-468 (2014). MSC: 68Q42 68N15 68Q45 PDF BibTeX XML Cite \textit{D. Firsov} and \textit{T. Uustalu}, J. Log. Algebr. Methods Program. 83, No. 5--6, 459--468 (2014; Zbl 1371.68137) Full Text: DOI
de Lara, Juan; Guerra, Esther Towards the flexible reuse of model transformations: a formal approach based on graph transformation. (English) Zbl 1371.68055 J. Log. Algebr. Methods Program. 83, No. 5-6, 427-458 (2014). MSC: 68N99 68Q42 PDF BibTeX XML Cite \textit{J. de Lara} and \textit{E. Guerra}, J. Log. Algebr. Methods Program. 83, No. 5--6, 427--458 (2014; Zbl 1371.68055) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1371.68199 J. Log. Algebr. Methods Program. 83, No. 5-6, 400-426 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 400--426 (2014; Zbl 1371.68199) Full Text: DOI
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej Maximizing entropy over Markov processes. (English) Zbl 1371.68175 J. Log. Algebr. Methods Program. 83, No. 5-6, 384-399 (2014). MSC: 68Q60 68Q87 PDF BibTeX XML Cite \textit{F. Biondi} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 384--399 (2014; Zbl 1371.68175) Full Text: DOI
Din, Crystal Chang; Owe, Olaf A sound and complete reasoning system for asynchronous communication with shared futures. (English) Zbl 1371.68190 J. Log. Algebr. Methods Program. 83, No. 5-6, 360-383 (2014). MSC: 68Q85 03B70 68N30 68Q55 PDF BibTeX XML Cite \textit{C. C. Din} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 83, No. 5--6, 360--383 (2014; Zbl 1371.68190) Full Text: DOI
Wolter, Uwe E. (ed.) Guest editor’s foreword. (English) Zbl 1298.00363 J. Log. Algebr. Methods Program. 83, No. 5-6, 359 (2014). MSC: 00B25 68-06 68Nxx PDF BibTeX XML Cite \textit{U. E. Wolter} (ed.), J. Log. Algebr. Methods Program. 83, No. 5--6, 359 (2014; Zbl 1298.00363) Full Text: DOI