Integrating CCG analysis into ACL2
by
Matt Kaufmann
,
Panagiotis Manolios
,
J Strother Moore
,
Daron Vroon
| Venue: | In Eighth International Workshop on Termination, August 2006. Part of FLOC ’06 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Kaufmann_integratingccg,
author = {Matt Kaufmann and Panagiotis Manolios and J Strother Moore and Daron Vroon},
title = {Integrating CCG analysis into ACL2},
booktitle = {In Eighth International Workshop on Termination, August 2006. Part of FLOC ’06},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ACL2 [6–8] is a powerful, industrial strength theorem proving system, which has been used on
