Login / Signup
Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices.
Wojciech Dzik
Sándor Radeleczki
Published in:
J. Multiple Valued Log. Soft Comput. (2017)
Keyphrases
</>
distributive lattices
boolean algebra
life cycle
theorem proving
product development
database
higher order
theorem prover
real time
data sets
information retrieval
similarity measure
multiscale
long tail
topological spaces