AnnoDomini: From Type Theory to a Year 2000 Conversion Tool
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
Standard
AnnoDomini: From Type Theory to a Year 2000 Conversion Tool. / Eidorff, Peter Harry; Henglein, Fritz; Mossin, Christian; Niss, Henning; Sørensen, Morten Heine; Tofte, Mads.
I: ERCIM News, Bind 36, 1999.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
Harvard
Eidorff, PH, Henglein, F, Mossin, C, Niss, H, Sørensen, MH & Tofte, M 1999, 'AnnoDomini: From Type Theory to a Year 2000 Conversion Tool', ERCIM News, bind 36.
APA
Eidorff, P. H., Henglein, F., Mossin, C., Niss, H., Sørensen, M. H., & Tofte, M. (1999). AnnoDomini: From Type Theory to a Year 2000 Conversion Tool. ERCIM News, 36.
Vancouver
Eidorff PH, Henglein F, Mossin C, Niss H, Sørensen MH, Tofte M. AnnoDomini: From Type Theory to a Year 2000 Conversion Tool. ERCIM News. 1999;36.
Author
Bibtex
@article{7b4baa40657c11de8bc9000ea68e967b,
title = "AnnoDomini: From Type Theory to a Year 2000 Conversion Tool",
author = "Eidorff, {Peter Harry} and Fritz Henglein and Christian Mossin and Henning Niss and S{\o}rensen, {Morten Heine} and Mads Tofte",
year = "1999",
language = "English",
volume = "36",
journal = "ERCIM News",
issn = "0926-4981",
publisher = "European Research Consortium for Informatics and Mathematics",
}
RIS
TY - JOUR
T1 - AnnoDomini: From Type Theory to a Year 2000 Conversion Tool
AU - Eidorff, Peter Harry
AU - Henglein, Fritz
AU - Mossin, Christian
AU - Niss, Henning
AU - Sørensen, Morten Heine
AU - Tofte, Mads
PY - 1999
Y1 - 1999
M3 - Journal article
VL - 36
JO - ERCIM News
JF - ERCIM News
SN - 0926-4981
ER -
ID: 12873605