Journal of Computer and Communications

Vol.1 No.5(2013), Paper ID 39319, 6 pages

DOI:10.4236/jcc.2013.15004

 

One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property

 

Wei Li, Yuefei Sui

 

State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing, China
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China.

 

Copyright © 2013 Wei Li, Yuefei Sui et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


Li, W. and Sui, Y. (2013) One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property. Journal of Computer and Communications, 1, 20-25. doi: 10.4236/jcc.2013.15004.

Copyright © 2023 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.