Echahed, Rachid; Maignan, Aude Parallel graph rewriting with overlapping rules. (English) Zbl 1403.68104 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 300-318 (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Echahed} and \textit{A. Maignan}, EPiC Ser. Comput. 46, 300--318 (2017; Zbl 1403.68104) Full Text: DOI arXiv
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes-Sobrinho, Daniele Intruder deduction problem for locally stable theories with normal forms and inverses. (English) Zbl 1386.68078 Theor. Comput. Sci. 672, 64-100 (2017). MSC: 68Q42 03B70 68P25 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Theor. Comput. Sci. 672, 64--100 (2017; Zbl 1386.68078) Full Text: DOI Link
Radcliffe, Nicholas R.; Moraes, Luis F. T.; Verma, Rakesh M. Uniqueness of normal forms for shallow term rewrite systems. (English) Zbl 1367.68149 ACM Trans. Comput. Log. 18, No. 2, Article No. 17, 20 p. (2017). MSC: 68Q42 PDFBibTeX XMLCite \textit{N. R. Radcliffe} et al., ACM Trans. Comput. Log. 18, No. 2, Article No. 17, 20 p. (2017; Zbl 1367.68149) Full Text: DOI arXiv
Barceló, Pablo; Fontaine, Gaëlle On the data complexity of consistent query answering over graph databases. (English) Zbl 1371.68060 J. Comput. Syst. Sci. 88, 164-194 (2017). MSC: 68P15 68Q42 68T27 PDFBibTeX XMLCite \textit{P. Barceló} and \textit{G. Fontaine}, J. Comput. Syst. Sci. 88, 164--194 (2017; Zbl 1371.68060) Full Text: DOI Link
Moser, Georg KBOs, ordinals, subrecursive hierarchies and all that. (English) Zbl 1361.68113 J. Log. Comput. 27, No. 2, 469-495 (2017). MSC: 68Q42 03D20 PDFBibTeX XMLCite \textit{G. Moser}, J. Log. Comput. 27, No. 2, 469--495 (2017; Zbl 1361.68113) Full Text: DOI Link
Arrighi, Pablo; Dowek, Gilles Lineal: a linear-algebraic \(\lambda\)-calculus. (English) Zbl 1448.68206 Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017). MSC: 68N18 03B40 68Q42 81P68 PDFBibTeX XMLCite \textit{P. Arrighi} and \textit{G. Dowek}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017; Zbl 1448.68206) Full Text: DOI arXiv
McCabe-Dansted, John C.; Reynolds, Mark Rewrite rules for \(\mathrm{CTL}^\ast\). (English) Zbl 1436.03124 J. Appl. Log. 21, 24-56 (2017). MSC: 03B44 68Q42 PDFBibTeX XMLCite \textit{J. C. McCabe-Dansted} and \textit{M. Reynolds}, J. Appl. Log. 21, 24--56 (2017; Zbl 1436.03124) Full Text: DOI