Deductive synthesis of astronomical software using the Maude term rewriting system

Anthony Castanares, University of Texas at El Paso

Subject Area

Astronomy|Computer science

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.
http://digitalcommons.utep.edu/dissertations/AAIEP10530

Share

COinS