Deductive synthesis of astronomical software using the Maude term rewriting system

Anthony Castanares, University of Texas at El Paso

Abstract

Abstract not available

Subject Area

Computer science|Astronomy|Astrophysics

Recommended Citation

Castanares, Anthony, "Deductive synthesis of astronomical software using the Maude term rewriting system" (2003). ETD Collection for University of Texas, El Paso. AAIEP10530.
https://scholarworks.utep.edu/dissertations/AAIEP10530

COinS