Scientific Annals of Computer Science
"Alexandru Ioan Cuza" University of Iaşi
Volume IV, 1995
Finding keys in particular classes of functional dependencies.,
pages 5-12
Stefan ANDREI
BibTeX
Dataflow lambda-calculus.,
pages 13-28
Gabriel CIOBANU
BibTeX
Complex Polynomial Near-Rings.,
pages 29-32
W. B. Vasantha KANDASAMY
BibTeX
On Semigroup-Semisuperboolean Algebras.,
pages 33-36
W. B. Vasantha KANDASAMY
BibTeX
A Minimal Model Computation of the Generalized Disjunctive Well-Founded Semantics.,
pages 37-64
Cristian PAPP
BibTeX
**,
pages 65-72
Qingbo XUE
BibTeX
On the "rep" construction into pi-nets.,
pages 73-84
Mihai ROTARU, Gabriel CIOBANU
BibTeX
Buchberger Algorithm in Theorem Proving.,
pages 85-92
Daniela TATAR
BibTeX
A Unification-Based Model for Speech Generation.,
pages 93-104
Amalia TODIRASCU
BibTeX
Magnetic Dynamical Systems.,
pages 105-126
Constantin UDRISTE, Aneta UDRISTE, Vladimir BALAN, Mihai POSTOLACHE
BibTeX
REVIEWS,
pages 127-
BibTeX