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
2014ANU Authors
Field of Research
- Analysis Of Algorithms And Complexity