Hiromi Tanaka

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 4

Top Topics

Decision Problems

Argumentation Semantics

Propositional Logic

Pspace Complete

Top Venues

Publications

Hiromi Tanaka
Tower-Complete Problems in Contraction-Free Substructural Logics. CSL (2023)
Hiromi Tanaka
TOWER-Complete Problems in Contraction-Free Substructural Logics. CoRR (2022)
Hiromi Tanaka
Decision Problems for Propositional Non-associative Linear Logic and Extensions. CoRR (2020)
Hiromi Tanaka
A note on undecidability of propositional non-associative linear logics. CoRR (2019)
Hiromi Tanaka, Akira Ishizawa, Hiroaki Adachi
Live Facial Expression Generation Based on Mixed Reality. ACCV (1) (1998)
Dana H. Ballard, Hiromi Tanaka
Transformational Form Perception in 3D: Constraints, Algorithms, Implementation. IJCAI (1985)