26 search results - page 6 / 6 » Artificial Companions |
TPHOL
2008
IEEE
14 years 5 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...