1 | -- | 2 | Cristian Calude, Gheorghe Stefanescu. Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift |
3 | -- | 4 | Solomon Marcus. Under the Sign of Boole |
5 | -- | 21 | Virgil Emil Cazanescu, Grigore Rosu. Weak Inclusion Systems: Part Two |
22 | -- | 38 | Rodica Ceterchi. The Lattice Structure of Pseudo-Wajsberg Algebras |
39 | -- | 59 | Gabriel Ciobanu, Mihai Rotaru. A Pi-calculus Machine |
60 | -- | 73 | Dana Cristofor, Laurentiu Cristofor, Dan A. Simovici. Galois Connections and Data Mining |
74 | -- | 96 | Razvan Diaconescu, Kokichi Futatsugi. Behavioural Coherence in Object-Oriented Algebraic Specification |
97 | -- | 104 | Stephan Foldes, Peter L. Hammer. Monotone, Horn and Quadratic Pseudo-Boolean Functions |
105 | -- | 111 | George Georgescu, Ioana Leustean. A Representation Theorem for Monadic Pavelka Algebras |
112 | -- | 129 | Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu. Mixed Relations as Enriched Semiringal Categories |
130 | -- | 135 | Cristian Grozea. Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem |
136 | -- | 138 | Frank Harary. The Automorphism Group of a Hypercube |
139 | -- | 154 | Afrodita Iorgulescu. Connections Between MV::n:: Algebras and n-valued Lukasiewicz-Moisil Algebras - IV |
155 | -- | 168 | Hajime Ishihara. A Canonical Model Construction for Substructural Logics |
169 | -- | 177 | Marjo Lipponen. Computational Complementarity and Shift Spaces |
178 | -- | 193 | Gheorghe Paun, Takashi Yokomori. Simulating H Systems by P Systems |
194 | -- | 200 | Grigore Rosu, Joseph A. Goguen. On Equational Craig Interpolation |
201 | -- | 211 | Dragos Vaida. Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures |
212 | -- | 225 | Kundi Xue, Marius Zimand. Extractors for the Real World |