Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi



Volume XXIV, Issue 2, 2014

Theoretical Aspects of Computing, pages 173-176
G. Ciobanu
Abstract | References | BibTeX | Full text (PDF)

Probabilistic Recursion Theory and Implicit Computational Complexity, pages 177-216
U. Dal Lago, S. Zuppiroli, M. Gabbrielli
Abstract | References | BibTeX | Full text (PDF)

Rely-Guarantee Based Reasoning for Message-Passing Programs, pages 217-252
J. Lei, Z. Qiu
Abstract | References | BibTeX | Full text (PDF)

Learning Cover Context-Free Grammars from Structural Data, pages 253-286
M. Marin, G. Istrate
Abstract | References | BibTeX | Full text (PDF)

Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers, pages 287-323
P. Tarau
Abstract | References | BibTeX | Full text (PDF)

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces, pages 325-368
B. Valiron, S. Zdancewic
Abstract | References | BibTeX | Full text (PDF)


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