Parallel Dovetailing and Its Application to Depth-First Proof Number

Bibliographic Information

Title
Parallel Dovetailing and Its Application to Depth-First Proof Number
Author
Kunihito Hoki, Tomoyuki Kaneko, Akihiro Kishimoto, and Takeshi Ito

Journal

Related Projects

See more

Details 詳細情報について

  • CRID
    1010282257246827779
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top