vix.ing · top · new · best · stats · spec

Ciabattoni, Agata

  1. Streamlining Input/Output Logics with Sequent Calculi
    2023/06/15 by Ciabattoni, Agata, Rozplokhas, Dmitry · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)