Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta An algebraic theory of interface automata. (English) Zbl 1360.68608 Theor. Comput. Sci. 549, 146-174 (2014). MSC: 68Q70 68Q60 PDFBibTeX XMLCite \textit{C. Chilton} et al., Theor. Comput. Sci. 549, 146--174 (2014; Zbl 1360.68608) Full Text: DOI
Song, Fu; Touili, Tayssir Efficient CTL model-checking for pushdown systems. (English) Zbl 1360.68599 Theor. Comput. Sci. 549, 127-145 (2014). MSC: 68Q60 03B44 68N30 PDFBibTeX XMLCite \textit{F. Song} and \textit{T. Touili}, Theor. Comput. Sci. 549, 127--145 (2014; Zbl 1360.68599) Full Text: DOI
Schewe, Klaus-Dieter; Wang, Qing A theoretical framework for knowledge-based entity resolution. (English) Zbl 1360.68822 Theor. Comput. Sci. 549, 101-126 (2014). MSC: 68T30 68Q17 68Q25 68T27 PDFBibTeX XMLCite \textit{K.-D. Schewe} and \textit{Q. Wang}, Theor. Comput. Sci. 549, 101--126 (2014; Zbl 1360.68822) Full Text: DOI
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd Minimal counterexamples for linear-time probabilistic verification. (English) Zbl 1360.68604 Theor. Comput. Sci. 549, 61-100 (2014). MSC: 68Q60 60J20 68Q87 90C11 90C40 PDFBibTeX XMLCite \textit{R. Wimmer} et al., Theor. Comput. Sci. 549, 61--100 (2014; Zbl 1360.68604) Full Text: DOI
Bílková, Marta; Palmigiano, Alessandra; Venema, Yde Proof systems for Moss’ coalgebraic logic. (English) Zbl 1323.03087 Theor. Comput. Sci. 549, 36-60 (2014). MSC: 03F07 03B45 03G30 PDFBibTeX XMLCite \textit{M. Bílková} et al., Theor. Comput. Sci. 549, 36--60 (2014; Zbl 1323.03087) Full Text: DOI
Fujita, Ken-etsu; Schubert, Aleksy Existential type systems between Church and Curry style (type-free style). (English) Zbl 1393.03004 Theor. Comput. Sci. 549, 17-35 (2014). MSC: 03B40 PDFBibTeX XMLCite \textit{K.-e. Fujita} and \textit{A. Schubert}, Theor. Comput. Sci. 549, 17--35 (2014; Zbl 1393.03004) Full Text: DOI
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel Algorithmic introduction of quantified cuts. (English) Zbl 1393.03050 Theor. Comput. Sci. 549, 1-16 (2014). MSC: 03F05 PDFBibTeX XMLCite \textit{S. Hetzl} et al., Theor. Comput. Sci. 549, 1--16 (2014; Zbl 1393.03050) Full Text: DOI arXiv