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

Behr, Nicolas

  1. Concurrency Theorems for Non-linear Rewriting Theories
    2021/05/06 by Behr, Nicolas, Harmer, Russ, Krivine, Jean · 1 citation
    #05E99 (Secondary) #16B50 #60J27 #68Q42 (Primary) 60J28 #F.4.2 #FOS: Computer and information sciences #G.2.2 #G.3 #Logic in Computer Science (cs.LO)