researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: RITA
Home
Index
Info
Volume
Volume
2
, Issue
2
5
--
35
Francisco Ibañez
,
Raymundo Forradellas
,
Fernando Barber
,
Rafael Berlanga Llavori
.
Dos Enfoques de la Programación Lógica con Restricciones
37
--
53
Newton José Vieira
.
Recuperando Caminhos no esquema algorítmico Union-Find
55
--
70
Paulo Alberto de Azeredo
.
Classificação por intercalação: um método confiável
71
--
92
Paulo Blauth Menezes
.
Marked Petri Nets
93
--
113
Dalcidio Moraes Claudio
,
Maria Angelica Camargo
,
Vilmar Trevisan
.
Um algoritmo algébrico para isolar zeros de polinômios
Volume
2
, Issue
1
5
--
36
Carla Maria Dal Sasso Freitas
,
Flávio Rech Wagner
.
Ferramentas de suporte às tarefas da análise exploratória visual
37
--
76
Fernando de Freitas Rezende
.
Concurrency control techniques and the KBMS Enviroment: A critical analysis
77
--
123
Cirano Iochpe
,
Maria Aparecida M. Souto
.
Transações de Banco de Dados: novos requisitos de processamento de aplicações não convencionais
125
--
136
Dalcidio Moraes Claudio
,
Siegfried M. Rump
.
Inclusion methods for real and complex functions in one variable
137
--
149
Peter Struss
,
Waldir L. Roque
.
Qualitative Reasoning and Model-Based Diagnosis: foundations & applications