フォロー
Joost Engelfriet
Joost Engelfriet
associate professor, LIACS, Leiden University
確認したメール アドレス: liacs.leidenuniv.nl - ホームページ
タイトル
引用先
引用先
年
Graph structure and monadic second-order logic: a language-theoretic approach
B Courcelle, J Engelfriet
Cambridge University Press, 2012
7682012
Branching processes of Petri nets
J Engelfriet
Acta Informatica 28, 575-591, 1991
5171991
Handle-rewriting hypergraph grammars
B Courcelle, J Engelfriet, G Rozenberg
Journal of computer and system sciences 46 (2), 218-270, 1993
4531993
Bottom-up and top-down tree transformations—a comparison
J Engelfriet
Mathematical systems theory 9 (2), 198-231, 1975
4201975
Macro tree transducers
J Engelfriet, H Vogler
Journal of computer and system sciences 31 (1), 71-146, 1985
3021985
Elementary net systems
G Rozenberg, J Engelfriet
Advanced Course on Petri Nets, 12-121, 1996
2811996
MSO definable string transductions and two-way finite-state transducers
J Engelfriet, HJ Hoogeboom
ACM Transactions on Computational Logic (TOCL) 2 (2), 216-254, 2001
2682001
Io and oi. i
J Engelfriet, EM Schmidt
Journal of computer and system sciences 15 (3), 328-353, 1977
2381977
Top-down tree transducers with regular look-ahead
J Engelfriet
Mathematical systems theory 10 (1), 289-303, 1976
2351976
Tree transducers, L systems and two-way machines
J Engelfriet, G Rozenberg, G Slutzki
Proceedings of the tenth annual ACM symposium on Theory of computing, 66-74, 1978
2231978
Node replacement graph grammars
J Engelfriet, G Rozenberg
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
1981997
Some open questions and recent results on tree transducers and tree languages
J Engelfriet
Formal Language Theory, 241-286, 1980
1821980
Context-free graph grammars
J Engelfriet
Handbook of formal languages: volume 3 beyond words, 125-213, 1997
1451997
Macro tree transducers, attribute grammars, and MSO definable tree translations
J Engelfriet, S Maneth
Information and Computation 154 (1), 34-91, 1999
1421999
Io and oi. ii
J Engelfriet, EM Schmidt
Journal of computer and system sciences 16 (1), 67-99, 1978
139*1978
Tree automata and tree grammars
J Engelfriet
arXiv preprint arXiv:1510.02036, 2015
1352015
Fixed point languages, equality languages, and representation of recursively enumerable languages
J Engelfriet, G Rozenberg
Journal of the ACM (JACM) 27 (3), 499-518, 1980
1291980
X-automata on ω-words
J Engelfriet, HJ Hoogeboom
Theoretical Computer Science 110 (1), 1-51, 1993
1051993
A comparison of tree transductions defined by monadic second order logic and by attribute grammars
R Bloem, J Engelfriet
Journal of Computer and System Sciences 61 (1), 1-50, 2000
1022000
Attribute grammars: Attribute evaluation methods
J Engelfriet
Methods and tools for compiler construction, 103-138, 1984
981984
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20