Affordable Access

Characterization of Strongly Equivalent Logic Programs in Intermediate Logics

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
arXiv ID: cs/0206005
Source
arXiv
External links

Abstract

Statistics

Seen <100 times