Login / Signup
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.
Kenro Yatake
Takuya Katayama
Published in:
MSVVEIS (2008)
Keyphrases
</>
theorem proving
object oriented
theorem prover
automated reasoning
automated deduction
programming language
first order logic
inference rules
definition language
parallel search
proof procedure
automated theorem proving
logical inference
consequence finding