The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques
Work
Year: 2020
Type: article
Source: Journal of Automated Reasoning
Institutions Artificial Intelligence Research Institute, Universitat Politècnica de València, University of Illinois Urbana-Champaign
Cites: 34
Cited by: 4
Related to: 10
FWCI: 0.472
Citation percentile (by year/subfield): 69
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funders National Science Foundation, Universitat Politècnica de València, Secretaría de Estado de Investigación, Desarrollo e Innovación, Conselleria d'Educació, Investigació, Cultura i Esport, U.S. Naval Research Laboratory
Grant IDS CNS 13-19109, SP20180225, RTI2018-094403-B-C32, PROMETEO/2019/098, N00173-17-1-G002