AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Research output: Contribution to journal › Journal article › Research
Standard
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. / Eidorff, Harry; Henglein, Fritz; Mossin, Christian; Niss, Henning; Sørensen, Morten Heine; Tofte, Mads.
In: European Research Consortium for Informatics and Mathematics, No. Vol. 36, 1998, p. 12-13.Research output: Contribution to journal › Journal article › Research
Harvard
Eidorff, H, Henglein, F, Mossin, C, Niss, H, Sørensen, MH & Tofte, M 1998, 'AnnoDomini: From Type Theory to Year 2000 Conversion Tool', European Research Consortium for Informatics and Mathematics, no. Vol. 36, pp. 12-13.
APA
Eidorff, H., Henglein, F., Mossin, C., Niss, H., Sørensen, M. H., & Tofte, M. (1998). AnnoDomini: From Type Theory to Year 2000 Conversion Tool. European Research Consortium for Informatics and Mathematics, (Vol. 36), 12-13.
Vancouver
Eidorff H, Henglein F, Mossin C, Niss H, Sørensen MH, Tofte M. AnnoDomini: From Type Theory to Year 2000 Conversion Tool. European Research Consortium for Informatics and Mathematics. 1998;(Vol. 36):12-13.
Author
Bibtex
@article{de12bca074c911dbbee902004c4f4f50,
title = "AnnoDomini: From Type Theory to Year 2000 Conversion Tool",
author = "Harry Eidorff and Fritz Henglein and Christian Mossin and Henning Niss and S{\o}rensen, {Morten Heine} and Mads Tofte",
year = "1998",
language = "English",
pages = "12--13",
journal = "European Research Consortium for Informatics and Mathematics",
publisher = "ERCIM News",
number = "Vol. 36",
}
RIS
TY - JOUR
T1 - AnnoDomini: From Type Theory to Year 2000 Conversion Tool
AU - Eidorff, Harry
AU - Henglein, Fritz
AU - Mossin, Christian
AU - Niss, Henning
AU - Sørensen, Morten Heine
AU - Tofte, Mads
PY - 1998
Y1 - 1998
M3 - Journal article
SP - 12
EP - 13
JO - European Research Consortium for Informatics and Mathematics
JF - European Research Consortium for Informatics and Mathematics
IS - Vol. 36
ER -
ID: 207035