Mechanising first - Order temporal logics

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

Project Details

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

Funding

  • EPSRC: £52,432.00
  • 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