Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi



Volume XXVII, Issue 1, 2017

Subvarieties of the Variety of Meadows, pages 1-18
J.A. Bergstra, I. Bethke
Abstract | References | BibTeX | Full text (PDF)

A Provably Correct Compilation of Functional Languages into Scripting Languages, pages 19-76
P. Giannini, A. Shaqiri
Abstract | References | BibTeX | Full text (PDF)

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic, pages 77-109
P.N. Mosaad, M. Fränzle, B. Xue
Abstract | References | BibTeX | Full text (PDF)


© 2006-2019 FII | Contact: annals at info.uaic.ro