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

Vyatkin, Andrey

  1. Certified Semantics for Relational Programming
    2020/05/03 by Rozplokhas, Dmitry, Vyatkin, Andrey, Boulytchev, Dmitry · 3 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)