Login / Signup
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators.
István Németi
Ildikó Sain
András Simon
Published in:
Log. J. IGPL (1995)
Keyphrases
</>
theoretical framework
general theory
equational theories
boolean functions
theoretical basis
morphological operators
reinforcement learning
multi class
theorem prover
spatial reasoning
formal theory
probabilistic planning
boolean algebra