Journal: J. UCS

Volume 6, Issue 1

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