TY  - JOUR

T1  - Programming and automating mathematics in the Tarski–Kleene hierarchy

JO  - Journal of Logical and Algebraic Methods in Programming

UR  - https://doi.org/10.1016/j.jlap.2014.02.001

PY  - 2014/08/07

AU  - Armstrong A

AU  - Struth G

AU  - Weber T

ED  - 

DO  - DOI: 10.1016/j.jlap.2014.02.001

PB  - Elsevier BV

VL  - 83

IS  - 2

SP  - 87

EP  - 102

Y2  - 2025/12/03

ER  -