The provably terminating operations of the subsystem PETJ of explicit mathematics

TitleThe provably terminating operations of the subsystem PETJ of explicit mathematics
Publication TypeJournal Article
Year of Publication2011
AuthorsProbst, D
JournalAnnals of Pure and Applied Logic
Volume162
Issue11
Pagination934-947
URLhttp://www.iam.unibe.ch/ltgpub/2011/pro11.pdf
DOI10.1016/j.apal.2011.04.004