Searching for "AnnoDomini in Practice A Type-Theoretic Approach to the Year 2000 Problem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
by Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Peter Harry, Eidorff Fritz, Henglein Christian Mossin, Henning Niss, Morten Heine B. Sørensen, B. Srensen, Mads Tofte
…AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem Peter Harry Eidorff…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB