Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos; Ríos, Alejandro On abstract normalisation beyond neededness. (English) Zbl 1387.68143 Theor. Comput. Sci. 672, 36-63 (2017). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{E. Bonelli} et al., Theor. Comput. Sci. 672, 36--63 (2017; Zbl 1387.68143) Full Text: DOI arXiv Link
Jiang, Keqin; Song, Tao; Pan, Linqiang Universality of sequential spiking neural P systems based on minimum spike number. (English) Zbl 1296.68049 Theor. Comput. Sci. 499, 88-97 (2013). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{K. Jiang} et al., Theor. Comput. Sci. 499, 88--97 (2013; Zbl 1296.68049) Full Text: DOI
Endrullis, Jörg; Hendriks, Dimitri Lazy productivity via termination. (English) Zbl 1216.68136 Theor. Comput. Sci. 412, No. 28, 3203-3225 (2011). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Endrullis} and \textit{D. Hendriks}, Theor. Comput. Sci. 412, No. 28, 3203--3225 (2011; Zbl 1216.68136) Full Text: DOI
Ibarra, Oscar H.; Păun, Andrei; Rodríguez-Patón, Alfonso Sequential SNP systems based on min/max spike number. (English) Zbl 1173.68020 Theor. Comput. Sci. 410, No. 30-32, 2982-2991 (2009). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{O. H. Ibarra} et al., Theor. Comput. Sci. 410, No. 30--32, 2982--2991 (2009; Zbl 1173.68020) Full Text: DOI
Klimann, Ines; Lombardy, Sylvain; Mairesse, Jean; Prieur, Christophe Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton. (English) Zbl 1071.68035 Theor. Comput. Sci. 327, No. 3, 349-373 (2004). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{I. Klimann} et al., Theor. Comput. Sci. 327, No. 3, 349--373 (2004; Zbl 1071.68035) Full Text: DOI arXiv
Gaál, Tamás Deciding sequentiability of finite-state transducers by finite-state pattern-matching. (English) Zbl 1069.68066 Theor. Comput. Sci. 313, No. 1, 105-117 (2004). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{T. Gaál}, Theor. Comput. Sci. 313, No. 1, 105--117 (2004; Zbl 1069.68066) Full Text: DOI
Pucella, R.; Panangaden, P. On the expressive power of first-order boolean functions in PCF. (English) Zbl 0989.68014 Theor. Comput. Sci. 266, No. 1-2, 543-567 (2001). MSC: 68N15 PDFBibTeX XMLCite \textit{R. Pucella} and \textit{P. Panangaden}, Theor. Comput. Sci. 266, No. 1--2, 543--567 (2001; Zbl 0989.68014) Full Text: DOI
Ehrhard, T. Parallel and serial hypercoherences. (English) Zbl 0949.68097 Theor. Comput. Sci. 247, No. 1-2, 39-81 (2000). MSC: 68Q55 PDFBibTeX XMLCite \textit{T. Ehrhard}, Theor. Comput. Sci. 247, No. 1--2, 39--81 (2000; Zbl 0949.68097) Full Text: DOI
Bucciarelli, Antonio Degrees of parallelism in the continuous type hierarchy. (English) Zbl 0901.68066 Theor. Comput. Sci. 177, No. 1, 59-71 (1997). MSC: 68Q10 68N15 PDFBibTeX XMLCite \textit{A. Bucciarelli}, Theor. Comput. Sci. 177, No. 1, 59--71 (1997; Zbl 0901.68066) Full Text: DOI
Bucciarelli, Antonio; Ehrhard, Thomas A theory of sequentiality. (English) Zbl 0779.68056 Theor. Comput. Sci. 113, No. 2, 273-291 (1993). MSC: 68Q55 06B35 18D15 PDFBibTeX XMLCite \textit{A. Bucciarelli} and \textit{T. Ehrhard}, Theor. Comput. Sci. 113, No. 2, 273--291 (1993; Zbl 0779.68056) Full Text: DOI