Studia Universitatis Babes-Bolyai Informatica

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

1997
XLII
1

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

SUMAR -- CONTENTS -- SOMMAIRE

	Gr. Moldovan, A. Vancea, M. Vancea, Data Dependence Testing for Automatic Parallelization	3
	V. M. Scuturici, I. Ober, M. Scuturici, D. M. Suciu, Specification of active objects behaviour using statecharts	19
	T. Toadere, I. Cozac, Branch and Bound Method for Independent And Dominated Sets in Graphs	31
	D. Pop, S. Iurian, M. Iurian, C. Mihoc, Distributed Network Monitoring and Management	39
	V. Prejmerean, S. Motogna, Tree Grammars and Tree Description Grammars	47
	A. Vancea, M. Vancea, Modeling and Implementing Parameter Passing Methods	57
	D. Tatar, S. Campan, Incomplete Relational Databases as Constraint Logic Programming	63
	A. Andreica, A Posibility to Describe an Algebraic Hierarchy	77
	A. F. Boer, The Y Languages - A subclass of the indexed languages	85
	A. Blaga, Grobner Bases for Theorem Proving in Euclidean Geometry	91
	C. Lupsoiu, D. Savulea, Construction de la probabilite sur un systeme de propositions	101