HOL

(redirected from Higher order logic)
AcronymDefinition
HOLHigh(er) Order Language
HOLHoliday
HOLHollywood (Amtrak station code; Hollywood, FL)
HOLHolland
HOLHouse of Lords
HOLHands on Learning (various locations)
HOLHardware Online (Danish portal)
HOLHouse of Luck (gaming)
HOLHouse of Leaves (Mark Z. Danielewski novel)
HOLHuman Occupied Landfill (role-playing game)
HOLHall of Light (database of Amiga games)
HOLHellas Online (Greece)
HOLHigher Order Logic
HOLHigher Order Language
HOLHands-On Labs
HOLHaha Out Loud
HOLHigh Order Language
HOLHead of Line
HOLHoliday & Leave
HOLHeart of Love
HOLHigh On Life
HOLHalls of Lightning (World of Warcraft)
HOLHogwarts Online (Harry Potter books virtual school)
HOLHammer of Light (FreeSpace game)
HOLHoly Order of the Light (gaming guild)
HOLHarrison's Online
HOLHardOp Lachen (Dutch: Laughing Out Loud)
HOLHead of Laboratory
HOLHeight of Lift (cranes/lifting equipment)
HOLHarvick Online (Nascar driver website)
HOLHigher Order Loss (fiber optic cable)
HOLHarbingers of Lloth (World of Warcraft guild)
HOLHungary Online List
References in periodicals archive ?
Norrish, "A brief overview of HOL4," in Theorem Proving in Higher Order Logics, vol.
Attempts to loosen the constraints by going beyond recursively enumerable sets of theorems fare no better because of other more specialised reasons: the inability to deal with infinite sets in one case and the failure to incorporate higher order logics in another.
Topics of interest include, but are not limited to, resource bounded proof theory, probabilistic analysis algorithms for satisfiability, comparison of logic systems with respect to proof length, 0-1 laws for first order and higher order logics on finite graphs and other combinatorial structures.
Full browser ?