Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. (English) Zbl 1353.68262 ACM Trans. Comput. Log. 14, No. 4, Article No. 34, 37 p. (2013). MSC: 68T27 03B42 PDFBibTeX XMLCite \textit{R. Dyckhoff} et al., ACM Trans. Comput. Log. 14, No. 4, Article No. 34, 37 p. (2013; Zbl 1353.68262) Full Text: DOI
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru Verification of linear duration properties over continuous-time Markov chains. (English) Zbl 1353.68174 ACM Trans. Comput. Log. 14, No. 4, Article No. 33, 35 p. (2013). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{T. Chen} et al., ACM Trans. Comput. Log. 14, No. 4, Article No. 33, 35 p. (2013; Zbl 1353.68174) Full Text: DOI
Rabe, Florian; Sojakova, Kristina Logical relations for a logical framework. (English) Zbl 1353.68252 ACM Trans. Comput. Log. 14, No. 4, Article No. 32, 34 p. (2013). MSC: 68T15 03B40 PDFBibTeX XMLCite \textit{F. Rabe} and \textit{K. Sojakova}, ACM Trans. Comput. Log. 14, No. 4, Article No. 32, 34 p. (2013; Zbl 1353.68252) Full Text: DOI
Ketema, Jeroen; Simonsen, Jakob Grue Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. (English) Zbl 1354.68143 ACM Trans. Comput. Log. 14, No. 4, Article No. 31, 28 p. (2013). MSC: 68Q42 03B40 03D20 PDFBibTeX XMLCite \textit{J. Ketema} and \textit{J. G. Simonsen}, ACM Trans. Comput. Log. 14, No. 4, Article No. 31, 28 p. (2013; Zbl 1354.68143) Full Text: DOI
Bodirsky, Manuel; Macpherson, H. Dugald; Thapper, Johan Constraint satisfaction tractability from semi-lattice operations on infinite sets. (English) Zbl 1354.68109 ACM Trans. Comput. Log. 14, No. 4, Article No. 30, 19 p. (2013). MSC: 68Q25 03C98 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., ACM Trans. Comput. Log. 14, No. 4, Article No. 30, 19 p. (2013; Zbl 1354.68109) Full Text: DOI arXiv
Danvy, Olivier; Zerny, Ian Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040 ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013). MSC: 68N18 03B40 05C90 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{I. Zerny}, ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013; Zbl 1353.68040) Full Text: DOI
Gaintzarain, Jose; Lucio, Paqui Logical foundations for more expressive declarative temporal logic programming languages. (English) Zbl 1353.68035 ACM Trans. Comput. Log. 14, No. 4, Article No. 28, 41 p. (2013). MSC: 68N17 03B44 PDFBibTeX XMLCite \textit{J. Gaintzarain} and \textit{P. Lucio}, ACM Trans. Comput. Log. 14, No. 4, Article No. 28, 41 p. (2013; Zbl 1353.68035) Full Text: DOI
Lahav, Ori; Avron, Arnon A unified semantic framework for fully structural propositional sequent systems. (English) Zbl 1354.03084 ACM Trans. Comput. Log. 14, No. 4, Article No. 27, 33 p. (2013). MSC: 03F03 PDFBibTeX XMLCite \textit{O. Lahav} and \textit{A. Avron}, ACM Trans. Comput. Log. 14, No. 4, Article No. 27, 33 p. (2013; Zbl 1354.03084) Full Text: DOI
Heras, Jónathan; Coquand, Thierry; Mörtberg, Anders; Siles, Vincent Computing persistent homology within Coq/SSReflect. (English) Zbl 1353.68251 ACM Trans. Comput. Log. 14, No. 4, Article No. 26, 16 p. (2013). MSC: 68T15 03B35 55N35 PDFBibTeX XMLCite \textit{J. Heras} et al., ACM Trans. Comput. Log. 14, No. 4, Article No. 26, 16 p. (2013; Zbl 1353.68251) Full Text: DOI arXiv
Kazana, Wojciech; Segoufin, Luc Enumeration of monadic second-order queries on trees. (English) Zbl 1353.68068 ACM Trans. Comput. Log. 14, No. 4, Article No. 25, 12 p. (2013). MSC: 68P15 03B15 03B70 68Q25 68R05 PDFBibTeX XMLCite \textit{W. Kazana} and \textit{L. Segoufin}, ACM Trans. Comput. Log. 14, No. 4, Article No. 25, 12 p. (2013; Zbl 1353.68068) Full Text: DOI Link