Hiromi Tanaka

According to our database, Hiromi Tanaka authored at least 5 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Tower-Complete Problems in Contraction-Free Substructural Logics.

Hiromi Tanaka

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2020

Decision Problems for Propositional Non-associative Linear Logic and Extensions.

Hiromi Tanaka

CoRR, 2020

2019

A note on undecidability of propositional non-associative linear logics.

Hiromi Tanaka

CoRR, 2019

1998

Live Facial Expression Generation Based on Mixed Reality.

Hiromi Tanaka, Akira Ishizawa, Hiroaki Adachi

Proceedings of the Computer Vision, 1998

1985

Transformational Form Perception in 3D: Constraints, Algorithms, Implementation.

Dana H. Ballard, Hiromi Tanaka

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985