Scientific Annals of Cuza University, Volume 4

Volume 4, 1995

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