Research report Japan Advanced Institute of Science and Technology IS-RR-99-0033 (19991124)

Fixpoint formulation of the completion problem of orthomodular lattices

1-6