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
Be the first to leave a comment!
You must be logged in first