MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Towards a Calculus of Data Refinement." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Two-Categories and Program Structure  
  • by David Andrew Naumann, Richard August, Naumann After, Using L, Leslie Lamport, The American
  • …:105--112, 1983. [CU89] Wei Chen and Jan Tijmen Udding. Towards a calculus of data refinement. In Proceedings…
  • Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB