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 |
