Feng Gao

1 artykuły w 1 czasopismach

• A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 131 - 148

  ROK: 2015

  Feng Gao George Tourlakis

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat