Old Web
English
Sign In
Acemap
>
Paper
>
A Constructor-Based Reachability Logic for Rewrite Theories
A Constructor-Based Reachability Logic for Rewrite Theories
2020
Stephen Skeirik
Andrei Stefănescu
José Meseguer
Keywords:
Mathematics
Algebra
Reachability
Discrete mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]