A Search Service for Abbreviation / Long Form

■ Related PubMed/MEDLINE Info.

[Related PubMed/MEDLINE]
Total Number of Papers: 2
[Display Entries]
[Entries Per Page]
 per page
Page Control
Page: of
Abbreviation : HOL
Long Form : higher-order logic
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