A new sequent calculus for automated proof search

Resultado de la investigación: Article

1 Cita (Scopus)
Idioma originalEnglish
Páginas (desde-hasta)4977-4984
Número de páginas8
PublicaciónApplied Mathematical Sciences
Volumen8
N.º97-100
DOI
EstadoPublished - 1 ene 2014

ASJC Scopus subject areas

  • Applied Mathematics

Citar esto