Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco Software model checking with explicit scheduler and symbolic threads. (English) Zbl 1254.68074 Log. Methods Comput. Sci. 8, No. 2, Paper No. 18, 42 p. (2012). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 18, 42 p. (2012; Zbl 1254.68074) Full Text: DOI arXiv OpenURL
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Efficient CSL model checking using stratification. (English) Zbl 1348.68152 Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012). MSC: 68Q60 68Q87 68W25 PDF BibTeX XML Cite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012; Zbl 1348.68152) Full Text: DOI OpenURL
Teige, Tino; Fränzle, Martin Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. (English) Zbl 1242.68191 Log. Methods Comput. Sci. 8, No. 2, Paper No. 16, 32 p. (2012). MSC: 68Q87 03B70 03C40 PDF BibTeX XML Cite \textit{T. Teige} and \textit{M. Fränzle}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 16, 32 p. (2012; Zbl 1242.68191) Full Text: DOI arXiv OpenURL
Bridges, Douglas S. Precompact apartness spaces. (English) Zbl 1241.03071 Log. Methods Comput. Sci. 8, No. 2, Paper No. 15, 10 p. (2012). MSC: 03F60 54E05 54E15 PDF BibTeX XML Cite \textit{D. S. Bridges}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 15, 10 p. (2012; Zbl 1241.03071) Full Text: DOI arXiv OpenURL
Urban, Christian; Kaliszyk, Cezary General bindings and alpha-equivalence in Nominal Isabelle. (English) Zbl 1242.68283 Log. Methods Comput. Sci. 8, No. 2, Paper No. 14, 35 p. (2012). MSC: 68T15 PDF BibTeX XML Cite \textit{C. Urban} and \textit{C. Kaliszyk}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 14, 35 p. (2012; Zbl 1242.68283) Full Text: DOI OpenURL
Pous, Damien Untyping typed algebras and colouring cyclic linear logic. (English) Zbl 1241.03009 Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012). MSC: 03B35 03F52 03G25 68T15 PDF BibTeX XML Cite \textit{D. Pous}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012; Zbl 1241.03009) Full Text: DOI arXiv OpenURL
Ghani, Neil; Johann, Patricia; Fumex, Clément Generic fibrational induction. (English) Zbl 1242.68172 Log. Methods Comput. Sci. 8, No. 2, Paper No. 12, 27 p. (2012). MSC: 68Q65 18C50 PDF BibTeX XML Cite \textit{N. Ghani} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 12, 27 p. (2012; Zbl 1242.68172) Full Text: DOI arXiv OpenURL
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Model checking vector addition systems with one zero-test. (English) Zbl 1242.68196 Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012). MSC: 68R99 68Q05 03D99 PDF BibTeX XML Cite \textit{R. Bonnet} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012; Zbl 1242.68196) Full Text: DOI arXiv OpenURL
Kop, Cynthia; van Raamsdonk, Femke Dynamic dependency pairs for algebraic functional systems. (English) Zbl 1242.68136 Log. Methods Comput. Sci. 8, No. 2, Paper No. 10, 51 p. (2012). MSC: 68Q42 PDF BibTeX XML Cite \textit{C. Kop} and \textit{F. van Raamsdonk}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 10, 51 p. (2012; Zbl 1242.68136) Full Text: DOI arXiv OpenURL
Atkey, Robert; Johann, Patricia; Ghani, Neil Refining inductive types. (English) Zbl 1241.68045 Log. Methods Comput. Sci. 8, No. 2, Paper No. 9, 30 p. (2012). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{R. Atkey} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 9, 30 p. (2012; Zbl 1241.68045) Full Text: DOI OpenURL
Urquhart, Alasdair Width and size of regular resolution proofs. (English) Zbl 1238.03047 Log. Methods Comput. Sci. 8, No. 2, Paper No. 8, 15 p. (2012). MSC: 03F20 PDF BibTeX XML Cite \textit{A. Urquhart}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 8, 15 p. (2012; Zbl 1238.03047) Full Text: DOI arXiv OpenURL
Mio, Matteo On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus. (English) Zbl 1238.68082 Log. Methods Comput. Sci. 8, No. 2, Paper No. 7, 21 p. (2012). MSC: 68Q55 03B44 68Q85 68Q87 91A80 PDF BibTeX XML Cite \textit{M. Mio}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 7, 21 p. (2012; Zbl 1238.68082) Full Text: DOI arXiv OpenURL
Bahr, Patrick Modes of convergence for term graph rewriting. (English) Zbl 1238.68166 Log. Methods Comput. Sci. 8, No. 2, Paper No. 6, 60 p. (2012). MSC: 68Q42 PDF BibTeX XML Cite \textit{P. Bahr}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 6, 60 p. (2012; Zbl 1238.68166) Full Text: DOI OpenURL
Jensen, Thomas; Kirchner, Florent; Pichardie, David Secure the clones. (English) Zbl 1238.68047 Log. Methods Comput. Sci. 8, No. 2, Paper No. 5, 30 p. (2012). MSC: 68N19 PDF BibTeX XML Cite \textit{T. Jensen} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 5, 30 p. (2012; Zbl 1238.68047) Full Text: DOI arXiv OpenURL
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio Quantifier-free interpolation of a theory of arrays. (English) Zbl 1237.68123 Log. Methods Comput. Sci. 8, No. 2, Paper No. 4, 39 p. (2012). MSC: 68Q60 03C40 PDF BibTeX XML Cite \textit{R. Bruttomesso} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 4, 39 p. (2012; Zbl 1237.68123) Full Text: DOI OpenURL
Mundhenk, Martin; Weiss, Felix Intuitionistic implication makes model checking hard. (English) Zbl 1237.68125 Log. Methods Comput. Sci. 8, No. 2, Paper No. 3, 29 p. (2012). MSC: 68Q60 03B20 03B45 68Q17 68Q25 PDF BibTeX XML Cite \textit{M. Mundhenk} and \textit{F. Weiss}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 3, 29 p. (2012; Zbl 1237.68125) Full Text: DOI arXiv OpenURL
Hobor, Aquinas; Gherghina, Cristian Barriers in concurrent separation logic: now with tool support! (English) Zbl 1237.68062 Log. Methods Comput. Sci. 8, No. 2, Paper No. 2, 36 p. (2012). MSC: 68N30 03B70 68Q60 68Q85 68T15 PDF BibTeX XML Cite \textit{A. Hobor} and \textit{C. Gherghina}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 2, 36 p. (2012; Zbl 1237.68062) Full Text: DOI OpenURL
Ahrens, Benedikt Extended initiality for typed abstract syntax. (English) Zbl 1362.68039 Log. Methods Comput. Sci. 8, No. 2, Paper No. 1, 35 p. (2012). MSC: 68N30 18C10 18C50 68N18 68T15 PDF BibTeX XML Cite \textit{B. Ahrens}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 1, 35 p. (2012; Zbl 1362.68039) Full Text: DOI arXiv OpenURL