12 citations · 13 across the 6 of their papers we have counts for
1 paper · 1 filter
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the fut…