Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Certifying Dictionary Construction in Isabelle/HOL

Lars Hupel

Fundamenta Informaticae

Retricted access

Research article

First published 2019

On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Thomas Bittner

Applied Ontology

Retricted access

Research article

First published 2018-5-17

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Retricted access

Research article

First published 2023-2

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Review article

First published 1998-2

Book Reviews : Lest We Expel the Hol y sPirit

Stephen N. Williams

The Expository Times

Retricted access

Research article

First published 2008-4

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)

Christophe Raffalli, Frédéric Ruyer

Fundamenta Informaticae

Retricted access

Book review

First published 2002-12

Book Review: Hol nieder Flagge! Ereignisse um ein Standegericht,Mai 1945

Peter K.H. Mispelkamp

International Journal of Maritime History

Retricted access

Review article

First published 1985-10

Book reviews : Angolan Women: building thefuture Translated by MARGA HOLNESS (London,Zed Press,1984). 160pp. £5.95

Margaret Marshment

Race & Class

Retricted access

Other

First published 1948-5

MULDER,ARNOLD. Americans from Hol land. Pp. 320. Philadelphia: J. B. Lippincott Company,1947. $5.00

Amry Vandenbosch

The ANNALS of the American Academy of Political and Social Science

Search results