On Inductive and Coinductive Proofs via Unfold/fold Transformations

Bibliographic Information

Title
On Inductive and Coinductive Proofs via Unfold/fold Transformations
Author
世木博久

Journal

Related Projects

See more

Details

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

Report a problem

Back to top