Funder
Japan Science and Technology Agency
Austrian Science Fund
European Research Council
Agence Nationale de la Recherche
Japan Society for the Promotion of Science
Reference39 articles.
1. PMaude: Rewrite-based specification language for probabilistic object systems;Agha;Electron. Notes Theor. Comput. Sci.,2006
2. Verifying Polytime Computability Automatically;Avanzini,2013
3. On probabilistic term rewriting;Avanzini,2018
4. Modular runtime complexity analysis of probabilistic while programs;Avanzini,2019
5. Term Rewriting and All That;Baader,1998
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献