A new sequent calculus for automated proof search

Resultado de pesquisa: Article

1 Citação (Scopus)
Idioma originalEnglish
Páginas (de-até)4977-4984
Número de páginas8
RevistaApplied Mathematical Sciences
Volume8
Número de emissão97-100
DOIs
Estado da publicaçãoPublished - 1 jan 2014

ASJC Scopus subject areas

  • Applied Mathematics

Citar isto