The One-Variable Fragment of T-arrow’

Citation

Slaney, J & Walker, E 2014, 'The One-Variable Fragment of T-arrow’', Journal of Philosophical Logic, vol. 43, no. 5, pp. 867-878.

Year

2014

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

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