Alert button

First-Order Stable Model Semantics with Intensional Functions

Add code
Bookmark button
Alert button
Jul 15, 2023
Michael Bartholomew, Joohyung Lee

Figure 1 for First-Order Stable Model Semantics with Intensional Functions

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: