Login / Signup
Translational Lemmas for Alternating TMs and PRAMs.
Chuzo Iwamoto
Yoshiaki Nakashiba
Kenichi Morita
Katsunobu Imai
Published in:
FCT (2005)
Keyphrases
</>
image formation
theorem prover
theorem proving
real time
truth maintenance systems