6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Yves Bertot, Ekaterina Komendantskaya
We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition…