Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

• Reconstrucción filogenética
  • Programa
    • Instancias:
      • Primera instancia
      • Segunda instancia
• Interferencia de haplotipos
  • Programa
    • Instancias:
      • Primera instancia
      • Segunda instancia
• Estructura secundaria del ARN
  • Programa
    • Instancias:
      • Primera instancia
      • Segunda instancia
      • Tercera instancia
• Predicción de la estructura de proteínas
  • Programa
    • Instancias:
      • Primera instancia
      • Segunda instancia
      • Tercera instancia
      • Cuarta instancia
• Reparación de redes metabólicas
  • Programa
    • Instancias:
      • Primera instancia
• Completación de redes metabólicas
  • Programa
    • Instancias:
      • Primera instancia
      • Segunda instancia