Benjamin G. Rin
According to our database1,
Benjamin G. Rin
authored at least 7 papers
between 2013 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Log. Methods Comput. Sci., 2020
2018
CoRR, 2018
2017
Proceedings of the Unveiling Dynamics and Complexity, 2017
2016
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.
Rev. Symb. Log., 2016
2015
Synth., 2015
2014
Ann. Pure Appl. Log., 2014
2013