Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992

zbMath0809.00011MaRDI QIDQ1345817

No author found.

Publication date: 16 March 1995

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

ProceedingsWorkshopIthaca, NY (USA)Feasible mathematics

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings of conferences of general interest (00B20)

Related Items (2)

Iteration on notation and unary functions ⋮ Applicative theories for logarithmic complexity classes

This page was built for publication: Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992