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

Marco Pérez

  1. Towards Relating Ciao Assertions and LPTP Theorems
    2026/07/20 by Marco Pérez, Pedro López-García, Jose F. Morales +2
    Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification