Linear Resources in Isabelle/HOL.

Filip Smola Jacques D. Fleuriot

Published in: J. Autom. Reason. (2024)

Keyphrases

theorem prover
natural deduction
limited resources
resource management
closed form
resource allocation
inference rules
first order logic
machine learning
theorem proving
resource constraints
knowledge base
database
data mining
data sets
formal methods
linear complexity
real time