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

Shetal Shah

  1. Skolem Functions for Factored Formulas
    2015/08/22 by Ajith K. John, Shetal Shah, John, Ajith K. +7 · 3 citations
    Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge