MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Robert Colvin" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • A Declarative Semantics for Logic Program Refinement  
  • by Robert Colvin, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Paul Strooper, Paul Strooper — 2000
  • … Paul Strooper Robert Colvin October 2000 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
  • Add To MetaCart
  • A Tool for Refining Logic Programs  
  • by Robert Colvin, Robert Colvin, Ian Hayes, Ian Hayes, Ray Nickson, Ray Nickson, Paul Strooper, Paul Strooper — 1997 — International Refinement Workshop and Formal Methods Pacific
  • … Queensland 4072 Australia TECHNICAL REPORT No. 97-32 A Tool for Refining Logic Programs Robert Colvin Ian…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB