scientific article; zbMATH DE number 2222029
From MaRDI portal
Publication:5700823
zbMATH Open1079.03052MaRDI QIDQ5700823
Publication date: 2 November 2005
Title of this publication is not available (Why is that?)
Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items (3)
Elementary descent recursion and proof theory ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5700823)
