Author:
Abdulla Parosh Aziz,Atig Mohamed Faouzi,Rezine Othmane
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: LICS 1996, pp. 313–321. IEEE Computer Society (1996)
2. Lecture Notes in Computer Science;G. Delzanno,2010
3. Lecture Notes in Computer Science;G. Delzanno,2011
4. Lecture Notes in Computer Science;A. Fehnker,2007
5. Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc. (3) 2(7), 326–336 (1952)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献