Reiterman's Theorem on Finite Algebras for a Monad.

Jirí Adámek Liang-Ting Chen Stefan Milius Henning Urbat

Published in: CoRR (2021)

Keyphrases

unit length
neural network
monadic datalog
databases
artificial intelligence
expert systems
logic programs
temporal reasoning
digital topology