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

Ali Assaf

  1. Dedukti: a Logical Framework based on the \λ\Π-Calculus Modulo\n Theory
    2023/11/13 by Ali Assaf, Guillaume Burel, Assaf, Ali +17 · 3 citations
    Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation