Cauderlier, Raphaël
- 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