Complexity and feasibility for programs over coinductively-defined data: SHF:Small:Collaborative

Research project

StatusFinished
Effective start/end date9/1/138/31/17

Funding

  • National Science Foundation
  • National Science Foundation