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)

Volume XXVII, Issue 2, 2017

Axioms for Behavioural Congruence of Single-Pass Instruction Sequences, pages 111-135
J.A. Bergstra, C.A. Middelburg
Abstract | References | BibTeX | Full text (PDF)

Derived-Term Automata of Multitape Expressions with Composition, pages 137-176
A. Demaille
Abstract | References | BibTeX | Full text (PDF)

Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities, pages 177-212
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny
Abstract | References | BibTeX | Full text (PDF)


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