View in EDS PDF Full Text

Deductive Systems for Logic Programs with Counting.

Saved in:
Bibliographic Details
Title: Deductive Systems for Logic Programs with Counting.
Authors: FANDINNO, JORGE1 (AUTHOR), LIFSCHITZ, VLADIMIR2 (AUTHOR)
Source: Theory & Practice of Logic Programming. Sep2025, Vol. 25 Issue 5, p924-964. 41p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068425100379