Redex -> Coq: Towards a Theory of Decidability of Redex's Reduction SemanticsSoldevila · arXiv2024PDF
Redex: The Ranging Equipment Diagnostic Expert SystemLuczak · Telematics and Informatics1989PDF813 KB
Automobiles and Australian Modernisation: The Redex Around-Australia Trials of the 1950sClarsen · Australian Historical Studies2010PDF406 KB
Relating Conflict-free Stable Transition and Event Models via Redex FamiliesKhasidashvili · Theoretical Computer Science2002PDF265 KB
Dynamic Rebinding for Marshalling and Update, via Redex-time and Destruct-time ReductionSEWELL · Journal of Functional Programming2008PDF1.0 MB
IFS-RedEx, a Redshift Extraction Software for Integral-field Spectrographs: Application to MUSE DataRexroth · arXiv2017PDF
RedEx: a Method for Seamless DNA Insertion and Deletion in Large Multimodular Polyketide Synthase Gene ClustersSong · Nucleic Acids Research2020PDF763 KB
Deuterium Isotope Effects on the Redex Decomposition of Hydroxymercurated Propene and 2-Butenes in an Aqueous SolutionShinoda · Bulletin of the Chemical Society of Japan1974PDF785 KB