TY  - JOUR
AU  - Mundici, Daniele
TI  - $\Delta$-tautologies, uniform and non-uniform upper bounds in computation theory
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1983
SP  - 99
EP  - 101
VL  - 75
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1983_8_75_3-4_a0/
LA  - en
ID  - RLINA_1983_8_75_3-4_a0
ER  -