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

Kappé, Tobias

  1. Kleene Algebra
    2025/11/14 by Tobias Kappé, Alexandra Silva, Kappé, Tobias +3 · 1 voice
    Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.PL