Yan Zhang

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 1

Top Topics

Process Algebra

Small Data Sets

Computation Tree Logic

Top Venues

Math. Struct. Comput. Sci.

Inf. Process. Lett.

Theor. Comput. Sci.

Publications

Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. Theor. Comput. Sci. 897 (2022)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. CoRR (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. Inf. Process. Lett. 115 (11) (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
On recursive operations over logic LTS. Math. Struct. Comput. Sci. 25 (6) (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
. CoRR (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou
. J. Appl. Log. 13 (4) (2015)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
Greatest solutions of equations in $\text{CLL}_R$ and its application. CoRR (2014)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
On Recursive Operations Over Logic LTS CoRR (2013)
Zhaohui Zhu, Yan Zhang, Jinjin Zhang
Merging Process Algebra and Action-based Computation Tree Logic CoRR (2012)
Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou
A Process Calculus with Logical Operators CoRR (2012)