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

Ulidowski, Irek

  1. An Axiomatic Theory for Reversible Computation
    2023/07/25 by Lanese, Ivan, Phillips, Iain, Ulidowski, Irek · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Dependence and Independence for Reversible Process Calculi
    2024/10/04 by Aubert, Clément, Phillips, Iain, Ulidowski, Irek · 1 citation
    #68Q85 #F.4.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)