scientific article; zbMATH DE number 850763
From MaRDI portal
Publication:4867394
zbMath0839.03040MaRDI QIDQ4867394
Publication date: 4 March 1996
Full work available at URL: https://eudml.org/doc/47411
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Two General Results on Intuitionistic Bounded Theories ⋮ Admissible closures of polynomial time computable arithmetic ⋮ Bounded theories for polyspace computability
This page was built for publication: