@inproceedings{6eedd87d996c49eb90ad3dab7fdf2f7b,
title = "Limit-computable mathematics and its applications",
abstract = "Limit-Computable Mathematics (LCM) is a fragment of classical mathematics in which classical principles are restricted so that the existence theorems are realized by limiting recursive functions. LCM is expected to be a right means for “Proof Animation,” which was introduced by the first author. In the lecture, some mathematical foundations of LCM will be given together with its relationships to various areas.",
author = "Susumu Hayashi and Yohji Akama",
year = "2002",
doi = "10.1007/3-540-45793-3_1",
language = "English",
isbn = "3540442405",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
editor = "Julian Bradfield",
booktitle = "Computer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL 2002, Proceedings",
note = "16th International Workshop on Computer Science Logic, CSL 2002 and 11th Annual Conference of the European Association for Computer Science Logic, EACSL 2002 ; Conference date: 22-09-2002 Through 25-09-2002",
}