Representation of Graded Structures in Proof Assistants

  1. Jesús Aransay
  2. César Domínguez
Libro:
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
  1. Cortadellas Izquierdo, Óscar (coord.)
  2. Gómez Torrecillas, José (coord.)
  3. Lobillo Borrero, F.J. (coord.)

Editorial: Universidad de Granada

Año de publicación: 2008

Páginas: 139-142

Congreso: Encuentro de Algebra Computacional y Aplicaciones (11. 2008. Granada)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet