Minimal models for superelliptic curves over their minimal field of definition.

Published in: ACM Commun. Comput. Algebra (2015)

Keyphrases

minimal models
propositional logic
logic programs
nonmonotonic reasoning
autoepistemic logic
belief revision
default logic
model theoretic
knowledge base
programming language
fixpoint
expert systems
description logics