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 BibTeX
Fernando de Freitas Rezende: Concurrency control techniques and the KBMS Enviroment: A critical analysis. 37-76 BibTeX
Cirano Iochpe, Maria Aparecida M. Souto: Transações de Banco de Dados: novos requisitos de processamento de aplicações não convencionais. 77-123 BibTeX
Dalcidio Moraes Claudio, Siegfried M. Rump: Inclusion methods for real and complex functions in one variable. 125-136 BibTeX
Peter Struss, Waldir L. Roque: Qualitative Reasoning and Model-Based Diagnosis: foundations & applications. 137-149 BibTeX

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