The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations
Crossref DOI link: https://doi.org/10.1007/s10817-015-9327-3
Published Online: 2015-07-05
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Felty, Amy P.
Momigliano, Alberto
Pientka, Brigitte
Text and Data Mining valid from 2015-07-05