Diagrammatic logic applied to a parameterisation process
- Domínguez, C.
- Duval, D.
ISSN: 0960-1295
Ano de publicación: 2010
Volume: 20
Número: 4
Páxinas: 639-654
Tipo: Artigo
Revista:
Mathematical Structures in Computer Science