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

Kassing, Jan-Christoph

  1. Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
    2024/08/13 by Kassing, Jan-Christoph, Giesl, Jürgen · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)