Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica.
Saved in:
| Title: | Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica. |
|---|---|
| Authors: | SKVORTSOV, EVGENY1 (AUTHOR), XIA, YILIN2 (AUTHOR), GARG, OJASWA1 (AUTHOR), BOWERS, SHAWN3 (AUTHOR), LUDÄSCHER, BERTRAM2 (AUTHOR) |
| Source: | Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p283-301. 19p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068426100660 |
