Diagrammatic logic applied to a parameterisation process

  1. Domínguez, C.
  2. Duval, D.
Zeitschrift:
Mathematical Structures in Computer Science

ISSN: 0960-1295

Datum der Publikation: 2010

Ausgabe: 20

Nummer: 4

Seiten: 639-654

Art: Artikel

DOI: 10.1017/S0960129510000150 GOOGLE SCHOLAR