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]
 per page
Page Control
Page: of
Abbreviation:   HOL  (>> Co-occurring Abbreviation)
Long Form:   higher-order logic
 Abbreviation Variation
 Long Form Variation
 Pair(Abbreviation/Long Form) Variation
No. Year Title Co-occurring Abbreviation
2020 Formal reasoning about synthetic biology using higher-order-logic theorem proving. ---
2016 Formal modeling and verification of fractional order linear systems. GL