scientific article; zbMATH DE number 1783013
zbMath1003.03049MaRDI QIDQ4546091
Susumu Hayashi, Masahiro Nakata
Publication date: 18 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationlearning theorylimit computable mathematicsrealizability interpretationlimiting recursive functionsautomatic extraction of limit-algorithmsproof animationsemiclassical logic
Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of computability and recursion theory (03D80) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
Related Items (3)
This page was built for publication: