Ono, Hiroakira.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
by:
(1998 :); Kanazawa, Makoto.; Ono, Hiroakira.; Queiroz, Ruy de.; SpringerLink (Online service)
(Electronic resources)
Hiroakira Ono on substructural logics
by:
Galatos, Nikolaos.; Ono, Hiroakira.; SpringerLink (Online service); Terui, Kazushige.
(Electronic resources)
Modality, semantics and interpretationsthe second Asian Workshop on Philosophical Logic /
by:
(1998 :); Ju, Shier.; Liu, Hu.; Ono, Hiroakira.; SpringerLink (Online service)
(Electronic resources)
Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 /
by:
Lee, Kok Yong.; Ono, Hiroakira.; SpringerLink (Online service); Yang, Syraya Chin-Mu.
(Electronic resources)
Proof theory and algebra in logic
by:
Ono, Hiroakira.; SpringerLink (Online service)
(Electronic resources)
Knowledge, proof and dynamicsthe Fourth Asian Workshop on Philosophical Logic /
by:
(1998 :); Liu, Fenrong.; Ono, Hiroakira.; SpringerLink (Online service); Yu, Junhua.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Mathematics of Computing.
Algebraic logic.
Logic, Symbolic and mathematical.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logic
Ono, Hiroakira.
Philosophy, general.
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Philosophy