Cheng-Chia Chen

Publication Activity (10 Years)

Years Active: 1993-2008
Publications (10 Years): 0

Publications

Yu-Lin Chu, Tsai-Yen Li, Cheng-Chia Chen
User Pluggable Animation Components in Multi-user Virtual Environment. Int. J. Virtual Real. 7 (3) (2008)
Cheng-Chia Chen, I-Peng Lin
The Computational Complexity of the Satisfiability of Modal Horn Clauses for Modal Propositional Logics. Theor. Comput. Sci. 129 (1) (1994)
Cheng-Chia Chen, I-Peng Lin
The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories. LFCS (1994)
Cheng-Chia Chen, I-Peng Lin
The Computational Complexity of Satisfiability of Temporal Horn Formulas in Propositional Linear-Time Temporal Logic. Inf. Process. Lett. 45 (3) (1993)