Author:
Akama Kiyoshi,Nantajeewarawat Ekawit,Koike Hidekatsu
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Akama, K.: Declarative Semantics of Logic Programs on Parameterized Representation Systems. Advances in Software Science and Technology 5, 45–63 (1993)
2. Akama, K., Shigeta, Y., Miyamoto, E.: Solving Logical Problems by Equivalent Transformation—A Theoretical Foundation. Journal of the Japanese Society for Artificial Intelligence 13, 928–935 (1998)
3. Lecture Notes in Computer Science;K. Akama,2001
4. Akama, K., Nantajeewarawat, E.: Formalization of the Equivalent Transformation Computation Model. Journal of Advanced Computational Intelligence and Intelligent Informatics 10, 245–259 (2006)
5. Akama, K., Nantajeewarawat, E.: State-transition Computation Models and Program Correctness Thereon. Journal of Advanced Computational Intelligence and Intelligent Informatics 11, 1250–1261 (2007)