Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta […]
Información academica Eduardo Medina Cano. Tesis donde Eduardo Medina Cano ha sido autor, director o parte del tribunal.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta […]
Tesis doctoral de Eduardo Medina Cano Esta tesis aporta resultados originales en el marco de la teoria de transformaciones algebraicas