The Translation from Tense Arithmetic into Tense Calculus

スポンサーリンク

概要

• 論文の詳細を見る

• Tense arithmetic and tense calculus are formal systems for reasoning of programs involving rational time. They have different tense operators, and semantically equivalent translation has been proposed. In this paper, we show that any formula translated from a theorem of tense arithmetic is a theorem of tense calculus.

• 埼玉短期大学の論文
• 2005-03-31

著者

• Ikeda Yosuo

  College Of Computer & Media Science Saitama Junior College

• MACHI Hidetomo

  Graduate School of Systems and Information Engineering University of Tsukuba

• TOMITA Kohji

  National Institute of Advanced Industrial Science and Technology (AIST)

• HOSONO Chiharu

  Graduate School of Systems and Information Engineering University of Tsukuba

• IKEDA Yosuo

  Computer and Media Science, Saitama Junior College

• Hosono Chiharu

  Institute Of Information Science University Of Tsukuba

• Tomita Kohji

  Mechanical Engineering Laboratory Agency Of Industrial Sci. And Tech. Ministry Of Intl. Trade And In

• 池田 靖雄

  Computer and Media Science, Saitama Junior College

関連論文

• TENSE CALCULUS AND ITS REFINEMENT WITHOUT ∞
• The Translation from Tense Arithmetic into Tense Calculus
• On an Unsatisfiability-satisfiability Prover
• A three-dimeneional self-reconfigurable system
• A distributed method for reconfiguration of a three- dimensional homogeneous structure
• Miniature self-reconfigurable modular machine using shape memory alloy
• Effects of field of view on lateral control performance in a vision-based autonomous vehicle
• REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
• REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS

スポンサーリンク