Author:
Avanzini Martin,Dal Lago Ugo,Yamada Akihisa
Publisher
Springer International Publishing
Reference28 articles.
1. Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electr. Notes Theor. Comput. Sci. 153(2), 213–239 (2006)
2. Avanzini, M.: Verifying polytime computability automatically. Ph.D. thesis, University of Innsbruck (2013)
3. Avanzini, M., Dal Lago, U., Yamada, A.: On probabilistic term rewriting (Technical report). CoRR cs/CC/1802.09774 (2018).
http://www.arxiv.org/abs/1802.09774
4. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
5. Lecture Notes in Computer Science;O Bournez,2005
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献