4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Dina Goldin, Peter Wegner
The goal of computational logic is to allow us to model computation as well as to reason about it. We argue that a computational logic must be able to model interactive computation…