ORCID

We notice you are using a browser that our site does not support. Some features on this site may not work correctly. We recommend that you upgrade to a supported browser.

Activities

Collapse all

Fast Left Kan Extensions Using the Chase

Journal of Automated Reasoning

2022-11 | Journal article

DOI: 10.1007/s10817-022-09634-2

Contributors: Joshua Meyers; David I. Spivak; Ryan Wisnesky

Show more detail

Source:

check_circle

Crossref

How many people are using ORCID?