External Links

    Journal: Sci. Ann. Cuza Univ.

    Volume 24, Issue 2

    173 -- 176Gabriel Ciobanu. Theoretical Aspects of Computing
    177 -- 216Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli. Probabilistic Recursion Theory and Implicit Computational Complexity
    217 -- 252Jinjiang Lei, Zongyan Qiu. Rely-Guarantee Based Reasoning for Message-Passing Programs
    253 -- 286Mircea Marin, Gabriel Istrate. Learning Cover Context-Free Grammars from Structural Data
    287 -- 323Paul Tarau. Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers
    325 -- 368Benoît Valiron, Steve Zdancewic. Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces

    Volume 24, Issue 1

    1 -- 46Marc Aiguier, Bilal Kanso. A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction
    47 -- 89Jan A. Bergstra, Cornelis A. Middelburg. Instruction Sequence Based Non-uniform Complexity Classes
    91 -- 136Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi. A Flat Process Calculus for Nested Membrane Interactions
    137 -- 171Rodrigo de Castro, Andrés L. Ramírez, José L. Ramírez. Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs
    runs on