SEDICI - Repositorio de la Universidad Nacional de La Plata
Inicio
Buscar material
Colecciones
Autores
Temas
Subir material
Institucional
¿Que es SEDICI?
Políticas del repositorio
Links
Staff
Cómo llegar
Preguntas frecuentes
Cómo agregar trabajos
Información para tesistas
Revistas de Acceso Abierto
Más preguntas frecuentes
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refine su busqueda
Tipo de documento
Objeto de conferencia (5)
Fecha de publicación
2017 (5)
Materia
Ciencias Informáticas (5)
Autor
Montoya, J. Andrés (2)
Nolasco, Christian (2)
Flaviani, Federico (1)
Jaskelioff, Mauro (1)
Mejía, Carolina (1)
Postan, Ezequiel (1)
Rivas, Exequiel (1)
Rojas Paredes, Andrés (1)
Palabra Clave
abstract data type (1)
Cálculos (1)
Ĉerny conjectured (1)
dioids (1)
finite state automata (1)
formal program verification (1)
GCL (1)
induction (1)
information hiding (1)
invariant assertions (1)
Ver más
Sociedad Argentina de Informática (SADIO)
→
Jornadas Argentinas de Informática e Investigación Operativa (JAIIO)
→
46 Jornadas Argentinas de Informática e Investigación Operativa (JAIIO) y 43 CLEI
→
Simposio Latinoamericano de Teoría Computacional (SLTC)
Simposio Latinoamericano de Teoría Computacional (SLTC)
Resultados de su búsqueda...
Mostrando 5 de un total de 5 resultados de la colección: Simposio Latinoamericano de Teoría Computacional (SLTC).
(0.094 segundos)
Mostrando ítems 1-5 de 5
1
Objeto de conferencia
Simposio Latinoamericano de Teoría Computacional (SLTC) - JAIIO 46 (Córdo...
2017
Calculation of Invariants Assertions
Flaviani, Federico
Objeto de conferencia
Simposio Latinoamericano de Teoría Computacional (SLTC) - JAIIO 46 (Córdo...
2017
On the Computational Complexity of Information Hiding
Rojas Paredes, Andrés
Objeto de conferencia
Simposio Latinoamericano de Teoría Computacional (SLTC) - JAIIO 46 (Córdo...
2017
The power of writing, a pebble hierarchy and a narrative for the teaching of Automata Theory
Mejía, Carolina; Montoya, J. Andrés; Nolasco, Christian
Objeto de conferencia
Simposio Latinoamericano de Teoría Computacional (SLTC) - JAIIO 46 (Córdo...
2017
Some remarks on synchronization, games and planar automata
Montoya, J. Andrés; Nolasco, Christian
Objeto de conferencia
Simposio Latinoamericano de Teoría Computacional (SLTC) - JAIIO 46 (Córdo...
2017
Dioids for computational effects
Postan, Ezequiel; Rivas, Exequiel; Jaskelioff, Mauro
Mostrando ítems 1-5 de 5
1
Iniciar sesión
Resultados
5
10
20
40
60
80
100
Ordenar por
Relevancia
Título (ascendente)
Título (descendente)
Fecha de publicación (ascendente)
Fecha de publicación (descendente)
Fecha de carga (ascendente)
Fecha de carga (descendente)