Mauricio S. C. Hernandes

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Marcelo Finger, Mauricio S. C. Hernandes
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. WoLLIC (2010)