Alert button

Modular Answer Set Programming as a Formal Specification Language

Aug 05, 2020
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler

Figure 1 for Modular Answer Set Programming as a Formal Specification Language
Figure 2 for Modular Answer Set Programming as a Formal Specification Language

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: