scientific article; zbMATH DE number 1531363

MaRDI QIDQ4513580zbMATH OpenFDO

Authors Yuri L. Ershov

Publication date 28 February 2001

zbMATH Keywords

admissible setscomputable predicates of finite type

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45)

Cited in

(3)

• \(\Sigma\)-predicates of finite types over an admissible set
• Stability and computability in coherent domains
• Principal numerations of functionals on admissible sets

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 Q4513580)