Decidability of Lattice Equations.

Nikolaos Galatos

Published in: Stud Logica (2024)

Keyphrases

description logics
mathematical model
lattice structure
query answering
differential equations
numerical solution
lattice theory
databases
concept lattice
decision procedures
real time
image processing
linear equations
data sets
machine learning
automata theoretic