NDLTD logo NDLTD Union Catalog and Global ETD Search
Back to results

Australian Catholic University

Proving the correctness of program transformations in higher order logic

dc:creator Roxas, Rachel Edita Onate
dc:date.issued1994

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Roxas, Rachel Edita Onate

Rights

Language dc:language.iso
en

Identifiers

dc:identifier.*
Dc Identifier Other
b1894181
OAI identifier oai:identifier
oai:openresearch-repository.anu.edu.au:1885/138517

Chain of custody

source
Harvested from
Australian Catholic University
Base URL
openresearch-repository.anu.edu.au/server/oai/request
Last updated
2026-07-24
Source record
OAI-PMH GetRecord
related terms
citation

Roxas, Rachel Edita Onate. Proving the correctness of program transformations in higher order logic. 1994. http://hdl.handle.net/1885/138517

More from Australian Catholic University

  1. Strontium isotope tracing of prehistoric human mobility in France Willmes, Malte 2015
  2. A study of well-balanced finite volume methods and refinement indicators for the shallow water equations Mungkasi, Sudi 2012
  3. Alzheimer's disease: Age of Onset Modifier Genes in the World’s Largest Pedigree Vélez Valbuena, Jorge Iván 2015