Mechanising first - Order temporal logics

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

Search results

  • 2002

    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