Lazy techniques for fully expansive theorem proving
From MaRDI portal
Publication:1309245
DOI10.1007/BF01383983zbMath0785.68077MaRDI QIDQ1309245
Publication date: 20 April 1994
Published in: Formal Methods in System Design (Search for Journal in Brave)
optimization; HOL theorem prover; delayed computation; lazy conversion; lazy theorem; primitive inference
Uses Software
Cites Work