vix.ing · top · new · best · stats

Ojaswa Garg

  1. Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica
    2026/06/01 by Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2 · 1 voice
    Computer Science · #cs.LO