activity
20142023
most citedThe Complexity of Holant Problems over Boolean Domain with Non-negative Weights

7 citations · 7 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023

A separation logic for sequences in pointer programs and its decidability

Tianyue Cao, Bowen Zhang, Zhao Jin +2

Separation logic and its variants can describe various properties on pointer programs. However, when it comes to properties on sequences, one may find it hard to formalize. To deal…