Freire, Cibele Matos; Martins, Ana Teresa The descriptive complexity of the deterministic exponential time hierarchy. (English) Zbl 1347.68176 Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 71-82 (2011). MSC: 68Q19 03B15 68Q15 PDFBibTeX XMLCite \textit{C. M. Freire} and \textit{A. T. Martins}, Electron. Notes Theor. Comput. Sci. 269, 71--82 (2011; Zbl 1347.68176) Full Text: DOI
Vardoulakis, Dimitrios; Shivers, Olin Pushdown flow analysis of first-class control. (English) Zbl 1323.68169 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 69-80 (2011). MSC: 68N18 68Q60 PDFBibTeX XMLCite \textit{D. Vardoulakis} and \textit{O. Shivers}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 69--80 (2011; Zbl 1323.68169) Full Text: DOI
Blanchette, Jasmin Christian; Krauss, Alexander Monotonicity inference for higher-order formulas. (English) Zbl 1266.03021 J. Autom. Reasoning 47, No. 4, 369-398 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 03B15 68Q60 68T15 PDFBibTeX XMLCite \textit{J. C. Blanchette} and \textit{A. Krauss}, J. Autom. Reasoning 47, No. 4, 369--398 (2011; Zbl 1266.03021) Full Text: DOI
Uckelman, Sara L. Deceit and indefeasible knowledge: the case of dubitatio. (English) Zbl 1242.03041 J. Appl. Non-Class. Log. 21, No. 3-4, 503-519 (2011). MSC: 03B42 PDFBibTeX XMLCite \textit{S. L. Uckelman}, J. Appl. Non-Class. Log. 21, No. 3--4, 503--519 (2011; Zbl 1242.03041) Full Text: DOI
Kneis, Joachim; Langer, Alexander; Rossmanith, Peter Courcelle’s theorem – a game-theoretic approach. (English) Zbl 1235.68103 Discrete Optim. 8, No. 4, 568-594 (2011). MSC: 68Q60 03B15 91A80 PDFBibTeX XMLCite \textit{J. Kneis} et al., Discrete Optim. 8, No. 4, 568--594 (2011; Zbl 1235.68103) Full Text: DOI
Kobayashi, Naoki; Ong, C.-H. Luke Complexity of model checking recursion schemes for fragments of the modal mu-calculus. (English) Zbl 1237.68124 Log. Methods Comput. Sci. 7, No. 4, Paper No. 9, 23 p. (2011). MSC: 68Q60 68Q45 68Q17 PDFBibTeX XMLCite \textit{N. Kobayashi} and \textit{C. H. L. Ong}, Log. Methods Comput. Sci. 7, No. 4, Paper No. 9, 23 p. (2011; Zbl 1237.68124) Full Text: DOI
Kartzow, Alexander First-order model checking on generalisations of pushdown graphs. (English) Zbl 1262.68004 Darmstadt: Univ. Darmstadt, Fachbereich Mathematik (Diss.). 253 p. (2011). Reviewer: Christel Baier (Dresden) MSC: 68-02 68Q60 03B25 03D05 PDFBibTeX XMLCite \textit{A. Kartzow}, First-order model checking on generalisations of pushdown graphs. Darmstadt: Univ. Darmstadt, Fachbereich Mathematik (Diss.) (2011; Zbl 1262.68004) Full Text: arXiv
Benzmüller, Christoph Combining and automating classical and non-classical logics in classical higher-order logics. (English) Zbl 1252.03025 Ann. Math. Artif. Intell. 62, No. 1-2, 103-128 (2011). MSC: 03B35 03B62 03B42 03B45 03B20 03B15 68T27 68T30 68T15 PDFBibTeX XMLCite \textit{C. Benzmüller}, Ann. Math. Artif. Intell. 62, No. 1--2, 103--128 (2011; Zbl 1252.03025) Full Text: DOI
Kammüller, Florian Mechanical analysis of finite idempotent relations. (English) Zbl 1230.68175 Fundam. Inform. 107, No. 1, 43-65 (2011). MSC: 68T15 68Q60 PDFBibTeX XMLCite \textit{F. Kammüller}, Fundam. Inform. 107, No. 1, 43--65 (2011; Zbl 1230.68175) Full Text: DOI
Girard, Jean-Yves The blind spot. Lectures on logic. (English) Zbl 1238.03045 Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-088-3/hbk). xiii, 537 p. (2011). Reviewer: Esfandiar Haghverdi (Bloomington) MSC: 03Fxx 03-02 03-03 03A05 03B10 03B15 03B47 03B70 03F03 03F05 03F07 03F52 03G30 18C50 18D15 PDFBibTeX XMLCite \textit{J.-Y. Girard}, The blind spot. Lectures on logic. Zürich: European Mathematical Society (EMS) (2011; Zbl 1238.03045) Full Text: DOI
Gordon, Michael J. C.; Kaufmann, Matt; Ray, Sandip The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4. (English) Zbl 1216.68233 J. Autom. Reasoning 47, No. 1, 1-16 (2011). MSC: 68T15 03B44 68Q60 PDFBibTeX XMLCite \textit{M. J. C. Gordon} et al., J. Autom. Reasoning 47, No. 1, 1--16 (2011; Zbl 1216.68233) Full Text: DOI
Gacek, Andrew; Miller, Dale; Nadathur, Gopalan Nominal abstraction. (English) Zbl 1215.03049 Inf. Comput. 209, No. 1, 48-73 (2011). MSC: 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{A. Gacek} et al., Inf. Comput. 209, No. 1, 48--73 (2011; Zbl 1215.03049) Full Text: DOI