Studia Universitatis Babes-Bolyai Informatica

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

Studia Universitatis Babes-Bolyai
Informatica

YEAR
VOLUME
ISSUE

2002
XLVII
1

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

SUMAR -- CONTENTS -- SOMMAIRE

	G. Serban, A New Real-Time Learning Algorithm	3
	Zs. Darvay, A New Algorithm for Solving Self-Dual Linear Optimization Problems	15
	C. Popescu, A Modification of the Cramer-Shoup Digital Signature Scheme	27
	D. Noje, M. Teodor, BL-Algebra Structure of RGB model	37
	M. Lupea, DARR - A Theorem Prover for Constrained and Rational Default Logics	45
	[paper retracted]
	V. Prejmerean, S. Motogna, The Curves Encoding	57
	D. Chiorean, A. Carcu, M. Pasca, C. Botiza, H. Chiorean, S. Moldovan, UML Model Checking	71
	H. Chiorean, Diagram Design in OCL Evaluator	89
	S. Moldovan, A Property Sheet	101