The following pages link to J. Martínez (Q556841):
Displaying 3 items.
- Generalizations of lattices via non-deterministic operators (Q556843) (← links)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics (Q702096) (← links)
