Hsing-chien Tsai

Orcid: 0000-0002-2113-8012

According to our database¹, Hsing-chien Tsai authored at least 6 papers between 2012 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

On the effective universality of mereological theories.

[BibT_eX]

[DOI]

Nikolay Bazhenov

Hsing-chien Tsai

Math. Log. Q., 2022

2018

General Extensional Mereology is Finitely Axiomatizable.

[BibT_eX]

[DOI]

Hsing-chien Tsai

Stud Logica, 2018

2015

On the Decidability of Axiomatized Mereotopological Theories.

[BibT_eX]

[DOI]

Hsing-chien Tsai

Notre Dame J. Formal Log., 2015

2013

A Comprehensive Picture of the Decidability of Mereological Theories.

[BibT_eX]

[DOI]

Hsing-chien Tsai

Stud Logica, 2013

Decidability of General Extensional Mereology.

[BibT_eX]

[DOI]

Hsing-chien Tsai

Stud Logica, 2013

2012

First-order axiomatization of rough mereology.

[BibT_eX]

[DOI]

Hsing-chien Tsai

Proceedings of the 2012 IEEE International Conference on Granular Computing, 2012

Hsing-chien Tsai

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...