Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel Extension of the decidability of the marked PCP to instances with unique blocks. (English) Zbl 1119.03041 Theor. Comput. Sci. 380, No. 3, 355-362 (2007). MSC: 03D40 03D03 03B25 PDFBibTeX XMLCite \textit{V. Halava} et al., Theor. Comput. Sci. 380, No. 3, 355--362 (2007; Zbl 1119.03041) Full Text: DOI
Halava, Vesa; Harju, Tero; Latteux, Michel Equality sets of prefix morphisms and regular star languages. (English) Zbl 1182.68104 Inf. Process. Lett. 94, No. 4, 151-154 (2005). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., Inf. Process. Lett. 94, No. 4, 151--154 (2005; Zbl 1182.68104) Full Text: DOI
Halava, Vesa; Harju, Tero; Latteux, Michel Representation of regular languages by equality sets. (English) Zbl 1169.68472 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 86, 224-228 (2005). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 86, 224--228 (2005; Zbl 1169.68472)
Halava, Vesa; Harju, Tero; Jan Hoogeboom, Hendrik; Latteux, Michel Valence languages generated by equality sets. (English) Zbl 1083.68056 J. Autom. Lang. Comb. 9, No. 4, 399-406 (2004). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., J. Autom. Lang. Comb. 9, No. 4, 399--406 (2004; Zbl 1083.68056)
Halava, Vesa; Harju, Tero; Hoogeboom, Hendrik Jan; Latteux, Michel Languages defined by generalized equality sets. (English) Zbl 1278.68134 Lingas, Andrzej (ed.) et al., Fundamentals of computation theory. 14th international symposium, FCT 2003, Malmö, Sweden, August 12–15, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40543-7/pbk). Lect. Notes Comput. Sci. 2751, 355-363 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., Lect. Notes Comput. Sci. 2751, 355--363 (2003; Zbl 1278.68134) Full Text: DOI
Harju, T.; Kleijn, H. C. M.; Latteux, M.; Terlutte, A. Representation of rational functions with prefix and suffix codings. (English) Zbl 0823.68055 Theor. Comput. Sci. 134, No. 2, 403-413 (1994). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{T. Harju} et al., Theor. Comput. Sci. 134, No. 2, 403--413 (1994; Zbl 0823.68055) Full Text: DOI
Harju, T.; Kleijn, H. C. M.; Latteux, M. Compositional representation of rational functions. (English) Zbl 0769.68097 RAIRO, Inform. Théor. Appl. 26, No. 3, 243-255 (1992). Reviewer: P.Turakainen (Oulu) MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Harju} et al., RAIRO, Inform. Théor. Appl. 26, No. 3, 243--255 (1992; Zbl 0769.68097) Full Text: DOI EuDML
Harju, T.; Kleijn, H. C. M.; Latteux, M. Deterministic sequential functions. (English) Zbl 0790.68036 Acta Inf. 29, No. 6-7, 545-554 (1992). MSC: 68Q05 68Q45 PDFBibTeX XMLCite \textit{T. Harju} et al., Acta Inf. 29, No. 6--7, 545--554 (1992; Zbl 0790.68036) Full Text: DOI