Semipositive LTL with an uninterpreted past operator

Citation

Slaney, J 2005, 'Semipositive LTL with an uninterpreted past operator', Logic Journal of the IGPL, vol. 13, no. 2, pp. 211-229.

Year

2005

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers