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

Schoen, Ezra

  1. A Categorical Approach to Coalgebraic Fixpoint Logic
    2024/04/30 by Schoen, Ezra, Kupke, Clemens, Rot, Jurriaan +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)