DMCA
Initial experiments on deriving a complete HOL simplification
by
Cezary Kaliszyk
,
Thomas Sternagel
BibTeX
@MISC{Kaliszyk_initialexperiments,
author = {Cezary Kaliszyk and Thomas Sternagel},
title = {Initial experiments on deriving a complete HOL simplification},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
set
