Sign Up to like & get
recommendations!
1
Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09500-0
Abstract: This special issue contains extended versions of selected contributions of the eighth International Conference on Interactive Theorem Proving (ITP 2017). The conference was held in BrasÃlia, Brazil, on September 2017 and its proceedings appeared as…
read more here.
Keywords:
itp 2017;
selected extended;
extended papers;
conference ... See more keywords