Author Publications

1986

Engelfriet, Joost and Vogler, Heiko (1986) Pushdown machines for the macro tree transducer. Theoretical Computer Science, 42 . pp. 251-368. ISSN 0304-3975

1985

Engelfriet, Joost (1985) Hierarchies of hyper-AFLs. Journal of Computer and System Sciences, 30 (1). pp. 86-115. ISSN 0022-0000

Engelfriet, Joost (1985) Determinancy → (observation EQUIVALENCE = trace equivalence). Theoretical Computer Science, 36 . pp. 21-25. ISSN 0304-3975

Engelfriet, Joost and Vogler, Heiko (1985) Macro tree transducers. Journal of Computer and System Sciences, 31 (1). pp. 71-146. ISSN 0022-0000

1984

Engelfriet, Joost and Slutzki, Giora (1984) Extended macro grammars and stack controlled machines. Journal of Computer and System Sciences, 29 (3). pp. 366-408. ISSN 0022-0000

1982

Asveld, Peter R.J. and Engelfriet, Joost (1982) A Note on Non-Generators of Full AFL's : preprint. International Journal of Computer Mathematics, 12 (1). pp. 13-17. ISSN 0020-7160

Asveld, Peter R.J. and Engelfriet, Joost (1982) A Note on Non-Generators of Full AFL's. International Journal of Computer Mathematics, 12 (1). pp. 13-17. ISSN 0020-7160

Engelfriet, Joost (1982) Three hierarchies of transducers. Mathematical systems theory, 15 (1). pp. 95-125. ISSN 0025-5661

Engelfriet, Joost and Filè, Gilberto (1982) Simple multi-visit attribute grammars. Journal of computer and system sciences, 24 (3). pp. 283-314. ISSN 0022-0000

Engelfriet, Joost and Skyum, Sven (1982) The copying power of one-state tree transducers. Journal of Computer and System Sciences, 25 (3). pp. 418-435. ISSN 0022-0000

1981

Asveld, Peter R.J. and Engelfriet, Joost (1981) A Note on Non-Generators of Full AFL's. [Report]

Engelfriet, Joost and Filè, Gilberto (1981) Passes and paths of attribute grammars. Information and Control, 49 (2). pp. 125-169. ISSN 0019-9958

Engelfriet, Joost and Filè, Gilberto (1981) The formal power of one-visit attribute grammars. Acta Informatica, 16 (3). pp. 275-302. ISSN 0001-5903

Engelfriet, Joost and Rozenberg, Grzegorz (1981) A translational theorem for the class of EOL languages. Information and Control, 50 (2). pp. 175-183. ISSN 0019-9958

1980

Engelfriet, Joost and Rozenberg, Grzegorz and Slutzki, Giora (1980) Tree transducers, L systems, and two-way machines. Journal of Computer and System Sciences, 20 (2). pp. 150-202. ISSN 0022-0000

1979

Asveld, Peter R.J. and Engelfriet, Joost (1979) Extended linear macro grammars, iteration grammars, and register programs. Acta Informatica, 11 (3). pp. 259-285. ISSN 0001-5903

Engelfriet, Joost and Rozenberg, Grzegorz (1979) Equality languages and fixed point languages. Information and Control, 43 (1). pp. 20-49. ISSN 0019-9958

1978

Engelfriet, Joost (1978) On tree transducers for partial functions. Information Processing Letters, 7 (4). pp. 170-172. ISSN 0020-0190

1977

Asveld, Peter R.J. and Engelfriet, Joost (1977) Iterated deterministic substitution. Acta Informatica, 8 (3). pp. 285-302. ISSN 0001-5903

Engelfriet, Joost (1977) Iterating iterated substitution. Theoretical Computer Science, 5 (1). pp. 85-100. ISSN 0304-3975

Engelfriet, Joost (1977) Top-down tree transducers with regular look-ahead. Mathematical systems theory, 10 (1). pp. 289-303. ISSN 0025-5661

1976

Engelfriet, Joost (1976) Surface tree languages and parallel derivation trees. Theoretical Computer Science, 2 (1). pp. 9-27. ISSN 0304-3975

Engelfriet, Joost and Skyum, Sven (1976) Copying theorems. Information Processing Letters, 4 (6). pp. 157-161. ISSN 0020-0190

1975

Engelfriet, Joost (1975) Bottom-up and top-down tree transformations - a comparison. Mathematical systems theory, 9 (2). pp. 198-231. ISSN 0025-5661

1972

Engelfriet, Joost (1972) A note on infinite trees. Information Processing Letters, 1 (6). pp. 229-232. ISSN 0020-0190