Showing 1 - 2 results of 2 for search 'Lozes, É', query time: 0.02s Refine Results
  1. 1
    A complete axiomisation for quantifier-free separation logic

    A complete axiomisation for quantifier-free separation logic by Demri, S, Lozes, E, Mansutti, A

    Published 2021
    Journal article
  2. 2
    The effects of adding reachability predicates in quantifier-free separation logic

    The effects of adding reachability predicates in quantifier-free separation logic by Demri, S, Lozes, É, Mansutti, A

    Published 2021
    Journal article

Search Tools: