Ralph Sarkis

1. Combining nondeterminism, probability, and termination: equational and metric reasoning
   2020/12/01 by Matteo Mio, Mio, Matteo, Ralph Sarkis +3 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
   2024/10/11 by Gabriele Lobbia, Wojciech Różowski, Lobbia, Gabriele +5 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Category Theory (math.CT) #Constraint Satisfaction and Optimization #Data Management and Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)