Diagrammatic logic applied to a parameterisation process

  1. César Domínguez Pérez 1
  2. Dominique Duval 2
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    GRID grid.119021.a

  2. 2 Laboratoire Jean Kuntzmann, Université de Grenoble, 51 rue des mathématiques, F-38041 Grenoble Cédex 9, France
Journal:
Mathematical structures in computer science

ISSN: 0960-1295

Year of publication: 2010

Volume: 20

Issue: 4

Pages: 639-654

Type: Article

Export: RIS
DOI: 10.1017/S0960129510000150
bar_chart See metrics