DMCA

Analytic tableaux for higher-order logic with choice. (2010)

Cached

Download Links

by Julian Backes , Chad E Brown
Venue:Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Proceedings,
Citations:25 - 1 self