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

Katz, Ricardo D.

  1. Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
    2021/01/19 by Cristiá, Maximiliano, Katz, Ricardo D., Rossi, Gianfranco · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)