Sigla

Babes-Bolyai University
Faculty of Mathematics and Computer Science
str. M. Kogalniceanu 1
400084 Cluj-Napoca
ROMANIA


Cover

Comments are welcome
studia-i@cs.ubbcluj.ro

Studia Universitatis Babes-Bolyai
Informatica

YEAR
VOLUME
ISSUE

1996
XLI
2


Redacţia: Str. M. Kogălniceanu nr. 1, 3400 Cluj-Napoca, Tel: 405300


SUMAR -- CONTENTS -- SOMMAIRE

Z. Kasa, V. Varga, A Graph Model for Distributed Database Systems3-8
R. Trambitas, Data Collections and Monads9-20
D. Tatar, V. Varga, Simplification of Magic-Set Rules by Logic Grammars21-28
S. Motogna, How to Model Message Passing by Lambda-Calculus29-34
M. Lupea, A Proof Method for Closed Normal Default Theories35-44
A. Blaga, The Normal Form of a Perturbed Keplerian Hamiltonian45-54
A. Fazekas, A. Hajdu, Analysing the Noise Sensitivity of Skeletonization Algorithms55-70
A. Andreica, Symbolic modelling of dynamical equations for non-compressible stationary fluids71-78
C. Enachescu, Active Learning for Improving the Performances of Neural Networks79-90
S. Berar, M. Vancea, A. Vancea, A Formal Support System for the Object Oriented Analysis91-96
A.F. Boer, The density - A Numerical Characteristic for Languages97-106