Login / Signup
Enshao Shen
Publication Activity (10 Years)
Years Active: 1996-2001
Publications (10 Years): 0
</>
Publications
</>
Yijia Chen
,
Enshao Shen
Capture Complexity by Partition.
CSL
(2001)
Enshao Shen
,
Yijia Chen
The Downward Transfer of Elementary Satisfiability of Partition Logics.
Math. Log. Q.
46 (4) (2000)
Enshao Shen
Some notes on graph automata, tiling systems and partition logic.
J. Comput. Sci. Technol.
13 (6) (1998)
Enshao Shen
,
Qijia Tian
Monadic Partition Logics and Finite Automata.
Theor. Comput. Sci.
166 (1&2) (1996)