Abstract Interfaces of Input/Output Logic (Q5250313)
From MaRDI portal
scientific article; zbMATH DE number 6437117
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract Interfaces of Input/Output Logic |
scientific article; zbMATH DE number 6437117 |
Statements
Abstract Interfaces of Input/Output Logic (English)
0 references
19 May 2015
0 references
input/output logic
0 references
finest splittings
0 references
parallell interpolation
0 references
normative systems
0 references
