AnnoDomini: From Type Theory to Year 2000 Conversion Tool

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  • Harry Eidorff
  • Henglein, Fritz
  • Christian Mossin
  • Henning Niss
  • Morten Heine Sørensen
  • Mads Tofte
OriginalsprogEngelsk
TidsskriftEuropean Research Consortium for Informatics and Mathematics
Udgave nummerVol. 36
Sider (fra-til)12-13
StatusUdgivet - 1998

ID: 207035