Translating higher-order problems to first-order clauses
Date
2006
Authors
Meng, Jia
Paulson, Lawrence C.
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of the FLoC-06 Workshop on Empirically Successful Computerized Reasoning
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31