- 2
Luigi Santocanale
2
Documents
Identifiants chercheurs
- luigi-santocanale
- IdRef : 137437080
- 0000-0002-4237-7856
Présentation
Publications
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
|
Dual characterizations for finite lattices via correspondence theory for monotone modal logicJournal of Logic and Computation, 2016, J Logic Computation 2016, ⟨10.1093/logcom/exw011⟩
Article dans une revue
hal-01054715v1
|
Fixed-point theory in the varieties D_nRAMICS, Apr 2014, Marienstatt im Westerwald, Germany. pp.446--462, ⟨10.1007/978-3-319-06251-8_27⟩
Communication dans un congrès
hal-01260836v1
|