Formalizing calendars with the category of ordinals
From MaRDI portal
Publication:1863915
DOI10.1023/A:1020091400553zbMath1049.68142OpenAlexW1494291227MaRDI QIDQ1863915
Publication date: 12 March 2003
Published in: Applied Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1020091400553
This page was built for publication: Formalizing calendars with the category of ordinals