Affiliation:
1. Japan Advanced Institute of Science and Technology (JAIST)
2. Kanazawa University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference20 articles.
1. Specification Translation of State Machines from Equational Theories into Rewrite Theories
2. [2] R. Diaconescu and K. Futatsugi, CafeOBJ Report, World Scientific, 1998.
3. [3] M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and C. Talcott, “All about Maude,” LNCS 4350, Springer, 2007.
4. Proof Scores in the OTS/CafeOBJ Method
5. Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献