A new sequent calculus for automated proof search

科研成果: Article

1 引用 (Scopus)
源语言English
页(从-至)4977-4984
页数8
期刊Applied Mathematical Sciences
8
97-100
DOI
Published - 1 一月 2014

ASJC Scopus subject areas

  • Applied Mathematics

引用此