Scientific Annals of Cuza University, Volume 4

Volume 4, 1995

• Stefan Andrei: Finding keys in particular classes of functional dependencies. 5-12
• Gabriel Ciobanu: Dataflow lambda-calculus. 13-28
• W. B. Vasantha Kandasamy: Complex Polynomial Near-Rings. 29-32
• W. B. Vasantha Kandasamy: On Semigroup-Semisuperboolean Algebras. 33-36
• Cristian Papp: A Minimal Model Computation of the Generalized Disjunctive Well-Founded Semantics. 37-64
• Qingbo Xue: (C4, Lotus) - free Berge Graphs Are Perfect. 65-72
• Mihai Rotaru, Gabriel Ciobanu: On the "rep" construction into pi-nets. 73-84
• Doina Tãtar: Buchberger Algorithm in Theorem Proving. 85-92
• Amalia Todirascu: A Unification-Based Model for Speech Generation. 93-104
• Constantin Udriste, Aneta Udriste, Vladimir Balan, Mihai Postolache: Magnetic Dynamical Systems. 105-126