Diagrammatic logic applied to a parameterisation process (Q3583026)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Diagrammatic logic applied to a parameterisation process |
scientific article |
Statements
Diagrammatic logic applied to a parameterisation process (English)
0 references
26 August 2010
0 references
diagrammatic logics
0 references
2-morphisms
0 references
2-category
0 references
parameterisation process
0 references
specification
0 references
morphism of logics
0 references
parameter passing
0 references
