A new sequent calculus for automated proof search

Результат исследований: Вклад в журналСтатья

1 Цитирования (Scopus)
Язык оригиналаАнглийский
Страницы (с-по)4977-4984
Число страниц8
ЖурналApplied Mathematical Sciences
Том8
Номер выпуска97-100
DOI
СостояниеОпубликовано - 1 янв 2014

Предметные области ASJC Scopus

  • Applied Mathematics

Цитировать