Proof Theory for Extensions of Temporal Logic

  • Reynolds, Mark (Chief Investigator)
  • Van Der Meyden, R. (Chief Investigator)
    StatusFinished
    Effective start/end date1/01/0431/12/04

    Funding

    • ARC Discovery Projects