Mechanising first - Order temporal logics

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

Project Details

Effective start/end date5/07/994/07/02


  • EPSRC: £52,432.00


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.
  • 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 Berlin Heidelberg, p. 102-114 13 p. (Lecture Notes in Computer Science; vol. 2514).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution