Author:
Benois Michèle,Sakarovitch Jacques
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference10 articles.
1. Parties rationnelles du groupe libre;Benois;C.R. Acad. Sci. Paris Sér. A,1969
2. Transductions and Context-Free Languages;Berstel,1979
3. Cancellation rules and extended word problems;Book;Inform. Process. Lett.,1985
4. On the security of ping-pong protocols;Dolev;Inform. and Control,1982
5. On the security of public key protocols;Dolev;IEEE Trans. Inform. Theory,1983
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rational cross‐sections, bounded generation, and orders on groups;Journal of the London Mathematical Society;2024-05-23
2. Subgroup Membership in GL(2,Z);Theory of Computing Systems;2023-05-09
3. Subgroup Membership in GL(2,Z);LEIBNIZ INT PR INFOR;2021
4. Bottom-up rewriting for words and terms;Journal of Symbolic Computation;2015-03
5. Saturation algorithms for model-checking pushdown systems;Electronic Proceedings in Theoretical Computer Science;2014-05-21