Engelfriet, Joost Computability by monadic second-order logic. (English) Zbl 07319586 Inf. Process. Lett. 167, Article ID 106074, 6 p. (2021). MSC: 03D25 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 167, Article ID 106074, 6 p. (2021; Zbl 07319586) Full Text: DOI arXiv
Engelfriet, Joost A Kleene characterization of computability. (English) Zbl 1185.68330 Inf. Process. Lett. 101, No. 4, 139-140 (2007). MSC: 68Q05 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 101, No. 4, 139--140 (2007; Zbl 1185.68330) Full Text: DOI
Engelfriet, Joost; Gelsema, Tjalling An exercise in structural congruence. (English) Zbl 1185.68443 Inf. Process. Lett. 101, No. 1, 1-5 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{T. Gelsema}, Inf. Process. Lett. 101, No. 1, 1--5 (2007; Zbl 1185.68443) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian The equivalence problem for deterministic MSO tree transducers is decidable. (English) Zbl 1185.68385 Inf. Process. Lett. 100, No. 5, 206-212 (2006). MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Maneth}, Inf. Process. Lett. 100, No. 5, 206--212 (2006; Zbl 1185.68385) Full Text: DOI arXiv
Engelfriet, Joost An elementary proof of double Greibach normal form. (English) Zbl 0796.68133 Inf. Process. Lett. 44, No. 6, 291-293 (1992). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 44, No. 6, 291--293 (1992; Zbl 0796.68133) Full Text: DOI
Engelfriet, Joost; Hoogeboom, Hendrik Jan Prefix and equality languages of rational functions are co-context-free. (English) Zbl 0678.68066 Inf. Process. Lett. 28, No. 2, 77-79 (1988). Reviewer: C.Masalagin MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. J. Hoogeboom}, Inf. Process. Lett. 28, No. 2, 77--79 (1988; Zbl 0678.68066) Full Text: DOI
Engelfriet, Joost On tree transducers for partial functions. (English) Zbl 0379.94066 Inf. Process. Lett. 7, 170-172 (1978). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 7, 170--172 (1978; Zbl 0379.94066) Full Text: DOI
Engelfriet, Joost; Skyum, Sven Copying theorems. (English) Zbl 0323.68051 Inf. Process. Lett. 4, 157-161 (1976). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Skyum}, Inf. Process. Lett. 4, 157--161 (1976; Zbl 0323.68051) Full Text: DOI
Engelfriet, Joost A note on infinite trees. (English) Zbl 0251.68041 Inf. Process. Lett. 1, 229-232 (1972). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 1, 229--232 (1972; Zbl 0251.68041) Full Text: DOI