Ying Jiang

14 papers B 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Complementation: a bridge between finite and infinite proofs.
CoRR
Gilles Dowek, Ying Jiang
2023 J jnl
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
CoRR
Gilles Dowek, Ying Jiang
2023 J jnl
Enumerating proofs of positive formulae.
CoRR
Gilles Dowek, Ying Jiang
2023 J jnl
On the Expressive Power of Schemes.
CoRR
Gilles Dowek, Ying Jiang
2019 J jnl
Towards Combining Model Checking and Proof Checking.
Comput. J.
Ying Jiang, Jian Liu, Gilles Dowek, Kailiang Ji
2016 J jnl
Decidability, Introduction Rules and Automata.
CoRR
Gilles Dowek, Ying Jiang
2016 J jnl
SCTL: Towards Combining Model Checking and Proof Checking.
CoRR
Jian Liu, Gilles Dowek, Kailiang Ji, Ying Jiang
2015 — conf
A Completion Method to Decide Reachability in Rewrite Systems.
FroCos
Guillaume Burel, Gilles Dowek, Ying Jiang
2015 B conf
Decidability, Introduction Rules and Automata.
LPAR
Gilles Dowek, Ying Jiang
2014 J jnl
Cut-elimination and the decidability of reachability in alternating pushdown systems.
CoRR
Gilles Dowek, Ying Jiang
2011 J jnl
On the expressive power of schemes.
Inf. Comput.
Gilles Dowek, Ying Jiang
2009 J jnl
Enumerating Proofs of Positive Formulae.
Comput. J.
Gilles Dowek, Ying Jiang
2006 J jnl
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
Theor. Comput. Sci.
Gilles Dowek, Ying Jiang
2003 — conf
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.
Mathematics, Logic and Computation @ ICALP
Gilles Dowek, Ying Jiang