Cortier, Véronique; Delaune, Stéphanie Decidability and combination results for two notions of knowledge in security protocols. (English) Zbl 1242.68099 J. Autom. Reasoning 48, No. 4, 441-487 (2012). MSC: 68P25 03B70 68M12 68T15 PDFBibTeX XMLCite \textit{V. Cortier} and \textit{S. Delaune}, J. Autom. Reasoning 48, No. 4, 441--487 (2012; Zbl 1242.68099) Full Text: DOI
Estévez-Martín, S.; Hortalá-González, T.; Rodríguez-Artalejo, M.; del Vado-Vírseda, R.; Sáenz-Pérez, F.; Fernández, Antonio J. On the cooperation of the constraint domains \(\mathcal H ,\mathcal R\), and \(\mathcal {FD}\) in CFLP. (English) Zbl 1177.68040 Theory Pract. Log. Program. 9, No. 4, 415-527 (2009). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{S. Estévez-Martín} et al., Theory Pract. Log. Program. 9, No. 4, 415--527 (2009; Zbl 1177.68040) Full Text: DOI
Tinelli, Cesare; Ringeissen, Christophe Unions of non-disjoint theories and combinations of satisfiability procedures. (English) Zbl 1018.68033 Theor. Comput. Sci. 290, No. 1, 291-353 (2003). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{C. Tinelli} and \textit{C. Ringeissen}, Theor. Comput. Sci. 290, No. 1, 291--353 (2003; Zbl 1018.68033) Full Text: DOI
Baader, Franz; Tinelli, Cesare Deciding the word problem in the union of equational theories. (English) Zbl 1049.03032 Inf. Comput. 178, No. 2, 346-390 (2002). MSC: 03D40 03B25 03C05 03B35 68Q42 68T15 PDFBibTeX XMLCite \textit{F. Baader} and \textit{C. Tinelli}, Inf. Comput. 178, No. 2, 346--390 (2002; Zbl 1049.03032) Full Text: DOI Link
Schulz, K. U.; Kepser, S. Combination of constraint systems II: Rational amalgamation. (English) Zbl 0992.68192 Theor. Comput. Sci. 266, No. 1-2, 113-157 (2001). MSC: 68T20 PDFBibTeX XMLCite \textit{K. U. Schulz} and \textit{S. Kepser}, Theor. Comput. Sci. 266, No. 1--2, 113--157 (2001; Zbl 0992.68192) Full Text: DOI
Blackburn, Patrick; de Rijke, Maarten Editors’ introduction to the special issue on combining logics. (English) Zbl 0856.03001 Notre Dame J. Formal Logic 37, No. 2, 161-166 (1996). MSC: 03-02 03B45 03B80 68T27 PDFBibTeX XMLCite \textit{P. Blackburn} and \textit{M. de Rijke}, Notre Dame J. Formal Logic 37, No. 2, 161--166 (1996; Zbl 0856.03001) Full Text: DOI