System Consequence (Q5190975): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3997112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Information Flow / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4230685 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A categorical manifesto / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Institutions: abstract model theory for specification and programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fibrations and universal view updatability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5717099 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5311059 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some fundamental algebraic tools for the semantics of computation. III: Indexed categories / rank | |||
Normal rank |
Latest revision as of 20:49, 1 July 2024
scientific article; zbMATH DE number 5587550
Language | Label | Description | Also known as |
---|---|---|---|
English | System Consequence |
scientific article; zbMATH DE number 5587550 |
Statements
System Consequence (English)
0 references
28 July 2009
0 references
logical system
0 references
information flow
0 references
information system
0 references
channel
0 references
system consequence
0 references