Hiroki Takamura
According to our database1,
Hiroki Takamura
authored at least 9 papers
between 2003 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
2012
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.
Stud Logica, 2012
2011
2010
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
2006
The variety of modal FL<sub>ew</sub>-algebras is generated by its finite simple members.
Proceedings of the Advances in Modal Logic 6, 2006
2005
An introduction to the theory of c*-algegras in constructive mathematics.
Proceedings of the From sets and types to topology and analysis, 2005
2003