Journal article icon

Journal article

Tool Building Requirements for an API to First−Order Solvers

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2005.12.003

Authors


Jim Grundy More by this author
Tom Melham More by this author
Sava Krstić More by this author
Sean McLaughlin More by this author
Journal:
Electronic Notes in Theoretical Computer Science
Volume:
144
Issue:
2
Pages:
15-26
Publication date:
2006
DOI:
ISSN:
1571-0661
URN:
uuid:febaf5c4-772b-4152-86c0-dd0b0dba909e
Local pid:
cs:4683

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP