3 citations · 3 across the 1 of their papers we have counts for
1 paper
Olivier Bournez, Nachum Dershowitz, Pierre Néron
We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to includ…