Observable behaviors and equivalences of logic programs

DOI10.1006/inco.1995.1138zbMath0834.68010OpenAlexW2083731854MaRDI QIDQ1900312

Could not fetch data.

Publication date: 18 March 1996

Published in: (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b12316ff3a5118ae76aef00e6d0ec6be09303c38

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.