The HOL-Omega Logic (Q3183533): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4331824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4325789 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5287513 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The formal theory of monads. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(HOL\) logic extended with quantification over type variables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5598318 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2778806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism / rank | |||
Normal rank |
Latest revision as of 02:27, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The HOL-Omega Logic |
scientific article |
Statements
The HOL-Omega Logic (English)
0 references
20 October 2009
0 references