Publications

  • Category

  • Sorting

  • 8975 publications found
  • Publisher

A proof theoretic characterization of the Kalmar elementary functions Technical Report Department of Informatics, 1996. Article journal

Automatic can separation Ukjent, vol. III, pp. 954 954 , 1996. Scientific article

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

BILD-96 1996. Report

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral