#### Filter Results:

#### Publication Year

1996

2001

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Enshao Shen, Qijia Tian
- Theor. Comput. Sci.
- 1996

- Enshao Shen, Yijia Chen
- Math. Log. Q.
- 2000

The following operation has frequently occurred in mathematics and its applications: partition a set into several disjoint non-empty subsets, so that the elements in each partition subset are homogeneous or indistinguishable with respect to some given properties. H.-D.Ebbinghaus first (in 1991) distilled from this phenomenon, which is a monadic second order… (More)

- Yijia Chen, Enshao Shen
- CSL
- 2001

We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its natural fragments. The Fagin's Theorem and Immerman-Vardi's Theorem are rephrased and strengthened into a uniform partition logic setting. Also the dual operators for the partition… (More)

- Enshao Shen
- J. Comput. Sci. Technol.
- 1998

- ‹
- 1
- ›