12 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Paul Tarau, Fahmida Hamid
Unification of logic variables instantly connects present and future observations of their value, independently of their location in the data areas of the runtime system. The paper…