Revista de Informática Teórica e Aplicada - RITA, Volume 2

Volume 2, Number 1, January 1995

Carla Maria Dal Sasso Freitas, Flávio Rech Wagner: Ferramentas de suporte às tarefas da análise exploratória visual. 5-36
Fernando de Freitas Rezende: Concurrency control techniques and the KBMS Enviroment: A critical analysis. 37-76
Cirano Iochpe, Maria Aparecida M. Souto: Transações de Banco de Dados: novos requisitos de processamento de aplicações não convencionais. 77-123
Dalcidio Moraes Claudio, Siegfried M. Rump: Inclusion methods for real and complex functions in one variable. 125-136
Peter Struss, Waldir L. Roque: Qualitative Reasoning and Model-Based Diagnosis: foundations & applications. 137-149

Francisco Ibañez, Raymundo Forradellas, Fernando Barber, Rafael Berlanga Llavori: Dos Enfoques de la Programación Lógica con Restricciones. 5-35
Newton José Vieira: Recuperando Caminhos no esquema algorítmico Union-Find. 37-53
Paulo Alberto de Azeredo: Classificação por intercalação: um método confiável. 55-70
Paulo Blauth Menezes: Marked Petri Nets. 71-92
Dalcidio Moraes Claudio, Maria Angelica Camargo, Vilmar Trevisan: Um algoritmo algébrico para isolar zeros de polinômios. 93-113