Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina A general theory of barbs, contexts, and labels. (English) Zbl 1354.68189 ACM Trans. Comput. Log. 15, No. 4, Article No. 35, 27 p. (2014). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{F. Bonchi} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 35, 27 p. (2014; Zbl 1354.68189) Full Text: DOI
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. Reasoning about strategies: on the model-checking problem. (English) Zbl 1354.68178 ACM Trans. Comput. Log. 15, No. 4, Article No. 34, 47 p. (2014). MSC: 68Q60 68T27 91A80 PDFBibTeX XMLCite \textit{F. Mogavero} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 34, 47 p. (2014; Zbl 1354.68178) Full Text: DOI arXiv
Zanardini, Damiano; Genaim, Samir Inference of field-sensitive reachability and cyclicity. (English) Zbl 1354.68035 ACM Trans. Comput. Log. 15, No. 4, Article No. 33, 41 p. (2014). MSC: 68N15 03B70 68P05 68Q55 PDFBibTeX XMLCite \textit{D. Zanardini} and \textit{S. Genaim}, ACM Trans. Comput. Log. 15, No. 4, Article No. 33, 41 p. (2014; Zbl 1354.68035) Full Text: DOI arXiv
Riguzzi, Fabrizio; Swift, Terrance Terminating evaluation of logic programs with finite three-valued models. (English) Zbl 1354.68039 ACM Trans. Comput. Log. 15, No. 4, Article No. 32, 38 p. (2014). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Riguzzi} and \textit{T. Swift}, ACM Trans. Comput. Log. 15, No. 4, Article No. 32, 38 p. (2014; Zbl 1354.68039) Full Text: DOI
Schellhorn, Gerhard; Derrick, John; Wehrheim, Heike A sound and complete proof technique for linearizability of concurrent data structures. (English) Zbl 1354.68066 ACM Trans. Comput. Log. 15, No. 4, Article No. 31, 37 p. (2014). MSC: 68P05 68Q60 68Q85 68T15 PDFBibTeX XMLCite \textit{G. Schellhorn} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 31, 37 p. (2014; Zbl 1354.68066) Full Text: DOI Link
Frigeri, Achille; Pasquale, Liliana; Spoletini, Paola Fuzzy time in linear temporal logic. (English) Zbl 1354.03021 ACM Trans. Comput. Log. 15, No. 4, Article No. 30, 22 p. (2014). MSC: 03B44 03B52 PDFBibTeX XMLCite \textit{A. Frigeri} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 30, 22 p. (2014; Zbl 1354.03021) Full Text: DOI Link
Atserias, Albert; Thapen, Neil The ordering principle in a fragment of approximate counting. (English) Zbl 1354.03090 ACM Trans. Comput. Log. 15, No. 4, Article No. 29, 11 p. (2014). MSC: 03F20 03D15 03F30 PDFBibTeX XMLCite \textit{A. Atserias} and \textit{N. Thapen}, ACM Trans. Comput. Log. 15, No. 4, Article No. 29, 11 p. (2014; Zbl 1354.03090) Full Text: DOI
Komosinski, Maciej; Kups, Adam; Leszczyńska-Jasion, Dorota; Urbański, Mariusz Identifying efficient abductive hypotheses using multicriteria dominance relation. (English) Zbl 1354.68256 ACM Trans. Comput. Log. 15, No. 4, Article No. 28, 20 p. (2014). MSC: 68T27 03B35 68T15 PDFBibTeX XMLCite \textit{M. Komosinski} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 28, 20 p. (2014; Zbl 1354.68256) Full Text: DOI
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna Temporal specifications with accumulative values. (English) Zbl 1354.68169 ACM Trans. Comput. Log. 15, No. 4, Article No. 27, 25 p. (2014). MSC: 68Q60 03B25 03B44 PDFBibTeX XMLCite \textit{U. Boker} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 27, 25 p. (2014; Zbl 1354.68169) Full Text: DOI
Göller, Stefan; Lin, Anthony Widjaja Refining the process rewrite systems hierarchy via ground tree rewrite systems. (English) Zbl 1354.68139 ACM Trans. Comput. Log. 15, No. 4, Article No. 26, 28 p. (2014). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{S. Göller} and \textit{A. W. Lin}, ACM Trans. Comput. Log. 15, No. 4, Article No. 26, 28 p. (2014; Zbl 1354.68139) Full Text: DOI