Grounding Formulas with Complex Terms release_iysh54zqfzaqpl3yq3uggda2me

by Amir Aavani, Xiongnan Wu, Eugenia Ternovska, David Mitchell

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2011   p13-25

Archived Files and Locations

application/pdf  276.8 kB
file_66pnr2xf2jh2xcbi6imcrbakfm
www.cs.yale.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  281.2 kB
file_4p46mmpvk5antd7eys47mpzgvq
www.cs.yale.edu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2011
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: cf325448-778f-4988-8d41-bd64b929ce3d
API URL: JSON