Sign in
Traps, Cores, Extensions and Subdirect Decompositions of Unary Algebras.
Stojan Bogdanovic
Miroslav Ciric
Tatjana Petkovic
Balázs Imreh
Magnus Steinby
Published in:
Fundam. Informaticae (1999)
Keyphrases
</>
pairwise
spatial reasoning
efficient implementation
temporal reasoning
genetic algorithm
default logic
distributive lattices