MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
5
Hide details for Wu, JinzhaoWu, Jinzhao
2000Wu, JinzhaoFirst-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294		Part of a Book
2000[Lu, Mi]
Wu, Jinzhao		On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143		Journal Article
1998Wu, Jinzhao
[Tan, Hongyan]
[Li, Yongli]		An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360		Journal Article
1998Wu, Jinzhao
[Lu, Mi]		CWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270		Proceedings Article
1998Wu, Jinzhao
[Liu, Zhuojun]		Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400		Journal Article
1
Show details for Xiao, RongXiao, Rong
2
Show details for Xia, BicanXia, Bican
1
Show details for Yahya, AdnanYahya, Adnan
1
Show details for Yang, LuYang, Lu
1
Show details for Yap, Roland H. C. (ed.)Yap, Roland H. C. (ed.)
1
Show details for Yi, Wang (ed.)Yi, Wang (ed.)
1
Show details for Yonezawa, A. (ed.)Yonezawa, A. (ed.)
1
Show details for Yoshida, TetsujaYoshida, Tetsuja
1
Show details for Yuan, CongYuan, Cong
1
Show details for Zaha, Johannes Maria (ed.)Zaha, Johannes Maria (ed.)
2
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
1
Show details for Zakharyaschev, M. (ed.)Zakharyaschev, M. (ed.)
1
Show details for Zamulin, Alexandre (ed.)Zamulin, Alexandre (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zaroliagis, ChristosZaroliagis, Christos
1
Show details for Zartmann, FrankZartmann, Frank
1
Show details for Zaytoon, Janan (ed.)Zaytoon, Janan (ed.)
1
Show details for Zemankova, M. (ed.)Zemankova, M. (ed.)
1
Show details for Zeugmann, Thomas (ed.)Zeugmann, Thomas (ed.)
1
Show details for Zeyer, JörgZeyer, Jörg
2
Show details for Zhang, Hantao (ed.)Zhang, Hantao (ed.)
1
Show details for Zhang, Nevin L. (ed.)Zhang, Nevin L. (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zilberstein, Shlomo (ed.)Zilberstein, Shlomo (ed.)

Next Page