Translating Higher-Order Clauses to First-Order Clauses (Q57382631)
Jump to navigation
Jump to search
article by Jia Meng & Lawrence Paulson published 15 September 2007 in Journal of Automated Reasoning
Language | Label | Description | Also known as |
---|---|---|---|
English | Translating Higher-Order Clauses to First-Order Clauses |
article by Jia Meng & Lawrence Paulson published 15 September 2007 in Journal of Automated Reasoning |
Statements
Translating Higher-Order Clauses to First-Order Clauses (English)
0 references
15 September 2007
0 references
40
0 references
1
0 references
35-60
0 references