29 citations · 61 across the 4 of their papers we have counts for
1 paper · 1 filter
Steffen Hoelldobler, Hans-Peter Stoerr
The paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision dia…