Irreducible residuated semilattices and finitely based varieties.

Nikolaos Galatos Jeffrey S. Olson James G. Raftery

Published in: Reports Math. Log. (2008)

Keyphrases

finite number
inductive inference
real time
high quality
software engineering