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

Laurent Théry

  1. Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle
    2018/10/29 by Ran Chen, Chen, Ran, Cyril Cohen +9 · 1 voice · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO