Discover

Document type
- Objeto de conferencia (4)
Date Issued
- 1999 - 1999 (4)
- 1999 (4)
Subject
- Ciencias Informaticas (4)
Author
Keyword

Search

Results/page

5
10
20
40
60
80
100

Sort items by

in order

Search Results for Community: Red de Universidades con Carreras en Informática (RedUNCI)

Now showing items 1-4 of 4

1

Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

A proof of the interpretability of P/PML in a relational setting

Baum, Gabriel Alfredo; Frias, Marcelo F.
Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

How to say greedy in fork algebras

Baum, Gabriel Alfredo; Canal, Esteban de la; Frias, Marcelo F.
Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

Translating fork specification into logic programs

Baum, Gabriel Alfredo; Frias, Marcelo F.; Aguirre, Nazareno Matías; Arroyo, Marcelo
Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

Medel, Ricardo; Baum, Gabriel Alfredo

Now showing items 1-4 of 4

1

Results/page

5
10
20
40
60
80
100

Sort items by

in order