Author:
Ueda Kazunori,Ogawa Seiji
Publisher
Springer Science and Business Media LLC
Reference16 articles.
1. Ayano T, Hori T, Iwasawa H, Ogawa S, Ueda K (2010) LMNtal model checking using an integrated development environment. Comput Softw 27(4):197–214 (in Japanese)
2. Berry G, Boudol G (1990) The Chemical Abstract Machine. In: Conf record of the seventeenth annual ACM symp on principles of programming languages (POPL’90). ACM, New York, pp 81–94
3. Frühwirth T (1998) Theory and Practice of Constraint Handling Rules. J Log Program 37:95–138
4. Frühwirth T (2009) Constraint handling rules. Cambridge University Press, Cambridge
5. Galil Z, Italiano GF (1991) Data Structures and Algorithms for Disjoint Set Union Problems. Comput Surv 23(3):319–344
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献