Content of Issue 1
DOI: 10.3217/jucs-006-01
|
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift |
C.S. Calude, G. Stefanescu |
1 |
Under the Sign of Boole |
S. Marcus |
3 |
Weak Inclusion Systems: Part Two |
V. Emil Cazanescu, G. Rosu |
5 |
The Lattice Structure of Pseudo_Wajsberg Algebras |
R. Ceterchi |
22 |
A Pi-Calculus Machine |
G. Ciobanu, M. Rotaru |
39 |
Galois Connections and Data Mining |
D. Cristofor, L. Cristofor, D. A. Simovici |
60 |
Behavioural Coherence in Object-Oriented Algebraic Specification |
R. Diaconescu, K. Futatsugi |
74 |
Monotone, Horn and Quadratic Pseudo-Boolean Functions |
S. Foldes, P. L. Hammer |
97 |
A Representation Theorem for Monadic Pavelka Algebras |
G. Georgescu, I. Leustean |
105 |
Mixed Relations as Enriched Semiringal Categories |
R. Grosu, D. Lucanu, G. Stefanescu |
112 |
Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem |
C. Grozea |
130 |
The Automorphism Group of a Hypercube |
F. Harary |
136 |
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV |
A. Iorgulescu |
139 |
A Canonical Model Construction for Substructural Logics |
H. Ishihara |
155 |
Computational Complementarity and Shift Spaces |
M. Lipponen |
169 |
Simulating H Systems by P Systems |
G. Paun, T. Yokomori |
178 |
On Equational Craig Interpolation |
G. Rosu, J. Goguen |
194 |
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures |
D. Vaida |
201 |
Extractors for the Real World |
K. Xue, M. Zimand |
212 |