Urzyczyn, Paweł The logic of persistent intersection. (English) Zbl 1231.03032 Fundam. Inform. 103, No. 1-4, 303-322 (2010). MSC: 03B70 03B25 PDFBibTeX XMLCite \textit{P. Urzyczyn}, Fundam. Inform. 103, No. 1--4, 303--322 (2010; Zbl 1231.03032) Full Text: DOI
Tyszkiewicz, Jerzy Complexity of type inference. (English) Zbl 1231.03013 Fundam. Inform. 103, No. 1-4, 289-301 (2010). MSC: 03B40 68N18 68Q25 PDFBibTeX XMLCite \textit{J. Tyszkiewicz}, Fundam. Inform. 103, No. 1--4, 289--301 (2010; Zbl 1231.03013) Full Text: DOI
Shivers, Olin; Wand, Mitchell Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs. (English) Zbl 1217.68054 Fundam. Inform. 103, No. 1-4, 247-287 (2010). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Shivers} and \textit{M. Wand}, Fundam. Inform. 103, No. 1--4, 247--287 (2010; Zbl 1217.68054) Full Text: DOI
Rudnicki, Ryszard; Wieczorek, Radosław Asymptotic analysis of a semelparous species model. (English) Zbl 1274.92046 Fundam. Inform. 103, No. 1-4, 219-233 (2010). MSC: 92D25 60J28 PDFBibTeX XMLCite \textit{R. Rudnicki} and \textit{R. Wieczorek}, Fundam. Inform. 103, No. 1--4, 219--233 (2010; Zbl 1274.92046) Full Text: DOI
Pratt, Vaughan Communes via Yoneda, from an elementary perspective. (English) Zbl 1216.18006 Fundam. Inform. 103, No. 1-4, 203-218 (2010). MSC: 18C10 PDFBibTeX XMLCite \textit{V. Pratt}, Fundam. Inform. 103, No. 1--4, 203--218 (2010; Zbl 1216.18006) Full Text: DOI
Pagani, Michele; Ronchi Della Rocca, Simona Linearity, non-determinism and solvability. (English) Zbl 1244.03056 Fundam. Inform. 103, No. 1-4, 173-202 (2010). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{M. Pagani} and \textit{S. Ronchi Della Rocca}, Fundam. Inform. 103, No. 1--4, 173--202 (2010; Zbl 1244.03056) Full Text: DOI
Kuśmierek, Jarosław Dominik Mateusz; Bono, Viviana Big-step operational semantics revisited. (English) Zbl 1217.68136 Fundam. Inform. 103, No. 1-4, 137-172 (2010). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{J. D. M. Kuśmierek} and \textit{V. Bono}, Fundam. Inform. 103, No. 1--4, 137--172 (2010; Zbl 1217.68136) Full Text: DOI
Kozen, Dexter Church-Rosser made easy. (English) Zbl 1231.03012 Fundam. Inform. 103, No. 1-4, 129-136 (2010). MSC: 03B40 PDFBibTeX XMLCite \textit{D. Kozen}, Fundam. Inform. 103, No. 1--4, 129--136 (2010; Zbl 1231.03012) Full Text: DOI
Górecki, Paweł H-trees: a model of evolutionary scenarios with horizontal gene transfer. (English) Zbl 1214.68186 Fundam. Inform. 103, No. 1-4, 105-128 (2010). MSC: 68Q42 92D15 PDFBibTeX XMLCite \textit{P. Górecki}, Fundam. Inform. 103, No. 1--4, 105--128 (2010; Zbl 1214.68186) Full Text: DOI
Gambin, Anna; Kluge, Bogusław Modeling proteolysis from mass spectrometry proteomic data. (English) Zbl 1274.92038 Fundam. Inform. 103, No. 1-4, 89-104 (2010). MSC: 92D10 62M05 62P10 PDFBibTeX XMLCite \textit{A. Gambin} and \textit{B. Kluge}, Fundam. Inform. 103, No. 1--4, 89--104 (2010; Zbl 1274.92038) Full Text: DOI
Donnelly, Kevin; Kfoury, Assaf; Lapets, Andrei The complexity of restricted variants of the stable paths problem. (English) Zbl 1214.68062 Fundam. Inform. 103, No. 1-4, 69-87 (2010). MSC: 68M11 68M12 68Q17 68R10 PDFBibTeX XMLCite \textit{K. Donnelly} et al., Fundam. Inform. 103, No. 1--4, 69--87 (2010; Zbl 1214.68062) Full Text: DOI
Dojer, Norbert An efficient algorithm for learning Bayesian networks from data. (English) Zbl 1214.68281 Fundam. Inform. 103, No. 1-4, 53-67 (2010). MSC: 68T05 68W40 92-08 PDFBibTeX XMLCite \textit{N. Dojer}, Fundam. Inform. 103, No. 1--4, 53--67 (2010; Zbl 1214.68281) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Data linkage dynamics with shedding. (English) Zbl 1217.68058 Fundam. Inform. 103, No. 1-4, 31-52 (2010). MSC: 68N30 68Q05 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Fundam. Inform. 103, No. 1--4, 31--52 (2010; Zbl 1217.68058) Full Text: DOI
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. (English) Zbl 1214.68183 Fundam. Inform. 103, No. 1-4, 1-29 (2010). MSC: 68Q42 92C42 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Fundam. Inform. 103, No. 1--4, 1--29 (2010; Zbl 1214.68183) Full Text: DOI