Login / Signup
Yann Salmon
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 2
Top Topics
Queries Using Views
Rewrite Rules
Reachability Analysis
State Space
Top Venues
Log. Methods Comput. Sci.
RTA
</>
Publications
</>
Thomas Genet
,
Yann Salmon
Reachability Analysis of Innermost Rewriting.
Log. Methods Comput. Sci.
13 (1) (2017)
Thomas Genet
,
Yann Salmon
Reachability Analysis of Innermost Rewriting.
RTA
(2015)