Computer proof of monotonicity of operations on orthomodular lattices.

Jeannine J. M. Gabriëls Mirko Navara

Published in: Inf. Sci. (2013)

Keyphrases

computer systems
case study
computer technology
linear logic
databases
decision trees
operating system
personal computer
computer architecture