Wagner Sanz
According to our database1,
Wagner Sanz
authored at least 3 papers
between 2009 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic.
FLAP, 2022
2010
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
Stud Logica, 2010
2009
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009