Ryo Ishigaki
According to our database1,
Ryo Ishigaki
authored at least 3 papers
between 2007 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
2007
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.
Log. J. IGPL, 2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007