Fast Left Kan Extensions Using the Chase
Work
Year: 2022
Type: article
Source: Journal of Automated Reasoning
Authors J. Meyers, David I. Spivak, Ryan Wisnesky
Institution Conexant (United States)
Cites: 26
Cited by: 1
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green