A directly Representable Variety has a discrete First-Order Law.

Stanley Burris Pawel M. Idziak

Published in: Int. J. Algebra Comput. (1996)

Keyphrases

wide range
wide variety
first order logic
higher order
discrete geometry
real world
discrete space
finite number
discrete version
database
proceedings of the th international conference
multiscale
information systems
knowledge representation
reinforcement learning
legal reasoning
neural network
real time