Publications

  • Category

  • Sorting

  • 8508 publications found
  • Publisher
Publisher Norsk Regnesentral

Volterra distortions, spinning strings, and cosmic defects Classical and Quantum Gravity, vol. 14, pp. 1129 1129 , (ISSN 0264-9381 1361-6382 ), , 1997. Scientific article

Lengdemodifisert ridge regresjon 1997. Scientific lecture

Anisotropic domain walls Classical and Quantum Gravity, vol. 14, pp. 1821 1829 , (ISSN 0264-9381 1361-6382 ), 1997. Scientific article

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

Examples of use of cut to shorten proofs Ukjent, 1997. Scientific article

Arbeidsflyt - fins det? 1997. Scientific lecture

Use of cut to obtain a characterization of the Kalmar elementary functions Technical Report Department of Informatics, 1997. Article journal

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral