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 |
Be the first to leave a comment!
