Use of cut to obtain a characterization of the Kalmar elementary functions

Publikasjonsdetaljer

  • Journal: Technical Report Department of Informatics, Wednesday 1. January 1997