Login / Signup
On the decidability of semigroup freeness
Julien Cassaigne
François Nicolas
Published in:
CoRR (2008)
Keyphrases
</>
description logics
query answering
type checking
decision procedures
machine learning
query containment
real world
search engine
database systems
data structure
cooperative
logic programs