Mechanising first - Order temporal logics

  • Bundy, Alan (Principal Investigator)
  • Smaill, Alan (Co-investigator)

Project Details

StatusFinished
Effective start/end date5/07/99 → 4/07/02

Funding

  • EPSRC: £52,432.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 1 Conference contribution

  • Proof planning for feature interactions: A preliminary report

    Castellini, C. & Smaill, A., 2002, Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings. Springer, p. 102-114 13 p. (Lecture Notes in Computer Science; vol. 2514).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution