Login / Signup
Boris Dogadov
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Active Rules
Multiresolution
Termination Analysis
Preserving Transformations
Top Venues
CAV (1)
</>
Publications
</>
Roman Manevich
,
Boris Dogadov
,
Noam Rinetzky
From Shape Analysis to Termination Analysis in Linear Time.
CAV (1)
(2016)