Login / Signup

Translational Lemmas for Alternating TMs and PRAMs.

Chuzo IwamotoYoshiaki NakashibaKenichi MoritaKatsunobu Imai
Published in: FCT (2005)
Keyphrases
  • image formation
  • theorem prover
  • theorem proving
  • real time
  • truth maintenance systems