TY  - JOUR

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

JO  - Journal of Logical and Algebraic Methods in Programming

PY  - 2014/03/01

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  - 2024/12/25

ER  -