A Search Service for Abbreviation / Long Form
■ Abbreviation / Long Form : HOL / higher-order logic
[Related PubMed/MEDLINE]
Total Number of Papers:
2
[Entries Per Page]
5
10
20
50
100
per page
Page Control
Page:
of
Abbreviation:
HOL
(
>> Co-occurring Abbreviation
)
Long Form:
higher-order logic
Abbreviation Variation
HOL (2 times)
Long Form Variation
higher-order logic (1 time)
Higher-order-logic (1 time)
Pair(Abbreviation/Long Form) Variation
HOL / higher-order logic (1 time)
HOL / Higher-order-logic (1 time)
No.
Year
Title
Co-occurring Abbreviation
1
2020
Formal reasoning about synthetic biology using higher-order-logic theorem proving.
---
2
2016
Formal modeling and verification of fractional order linear systems.
GL