Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Davide Soldà
Publications
SAT Modulo Well-Founded Semantics: Extended Abstract
Thomas Eiter
,
Tobias Nießen
and
Davide Soldà
EasyChair Preprint 16031
Keyphrases
Least Fixpoint Computation
,
SAT
,
well-founded semantics
.
Copyright © 2012-2026 easychair.org. All rights reserved.
