Journal: RITA

Volume 2, Issue 2

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

Volume 2, Issue 1

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