Lan Zhang

Affiliations:

Capital University of Economics and Business, Information School, Beijing, China
University of Liverpool, UK (PhD 2010)

According to our database¹, Lan Zhang authored at least 7 papers between 2009 and 2015.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

Ordered Resolution for Coalition Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

A resolution calculus for the branching-time temporal logic CTL.

[BibT_eX]

[DOI]

Lan Zhang

Ullrich Hustadt

Clare Dixon

ACM Trans. Comput. Log., 2014

A resolution-based calculus for Coalition Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

A Resolution Prover for Coalition Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

2010

Clausal reasoning for branching-time logics.

[BibT_eX]

[DOI]

Lan Zhang

PhD thesis, 2010

CTL-RP: A computation tree logic resolution prover.

[BibT_eX]

[DOI]

Lan Zhang

Ullrich Hustadt

Clare Dixon

AI Commun., 2010

2009

A Refined Resolution Calculus for CTL.

[BibT_eX]

[DOI]

Lan Zhang

Ullrich Hustadt

Clare Dixon

Proceedings of the Automated Deduction, 2009

Lan Zhang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...