Ryuta Arisaka

Statistics

Publications

Citations

H-Index

Active since

2007

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Ryuta Arisaka is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, automated reasoning, and language studies.

Top concepts

LanguageSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceAutomated ReasoningFormal Verification

Publications per year

2007–2015

Publications

On Nested Sequents for Constructive Modal Logics

Lutz Straßburger, Anupam Das, Ryuta Arisaka · Logical Methods in Computer Science · 2015 · 25 citations · Full text

Non-classical Logic, Engineering, Constructive Modal Logics +14

A Set Theory Based Factoring Technique And Its Use For Low Power Logic Design

Padmanabhan Balasubramanian, Ryuta Arisaka · 2007 · 18 citations · Full text

1–2 of 2