Translating higher-order problems to first-order clauses
dc.contributor.author | Meng, Jia | |
dc.contributor.author | Paulson, Lawrence C. | |
dc.coverage.spatial | Seattle USA | |
dc.date.accessioned | 2015-12-07T22:25:36Z | |
dc.date.created | August 22, 2006 | |
dc.date.issued | 2006 | |
dc.date.updated | 2015-12-07T09:38:48Z | |
dc.identifier.isbn | 1613-0073 | |
dc.identifier.uri | http://hdl.handle.net/1885/21376 | |
dc.publisher | Conference Organising Committee | |
dc.relation.ispartofseries | Empirically Successful Computerized Reasoning (ESCoR 2006) | |
dc.source | Proceedings of the FLoC-06 Workshop on Empirically Successful Computerized Reasoning | |
dc.source.uri | http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-192 | |
dc.title | Translating higher-order problems to first-order clauses | |
dc.type | Conference paper | |
local.bibliographicCitation.lastpage | 80 | |
local.bibliographicCitation.startpage | 70 | |
local.contributor.affiliation | Meng, Jia, College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Paulson, Lawrence C., University of Cambridge | |
local.contributor.authoremail | repository.admin@anu.edu.au | |
local.contributor.authoruid | Meng, Jia, a210311 | |
local.description.embargo | 2037-12-31 | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
local.identifier.absfor | 080199 - Artificial Intelligence and Image Processing not elsewhere classified | |
local.identifier.ariespublication | u8803936xPUB16 | |
local.identifier.uidSubmittedBy | u8803936 | |
local.type.status | Published Version |