An Undecidability Theorem for Lattices Over Group Rings.

Carlo Toffalori

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

description logics
database
learning algorithm
information systems
image processing
expert systems
hidden markov models
knowledge discovery
first order logic
dynamical systems
group members