MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Mark Staples" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Window inference in isabelle  
  • by Mark Staples — 1995 — University of Cambridge Computer Laboratory
  • …Window Inference in Isabelle Mark Staples 10 August 1995 Abstract Window inference is a…
  • Cited by 5 (2 self) – Add To MetaCart
  • Linking ACL2 and Hol  
  • by Mark Staples — 1999 — Computer Laboratory, University of Cambridge
  • …Linking ACL2 and Hol Mark Staples November 2, 1999 Abstract This report describes ACL2PII, a…
  • Cited by 6 (0 self) – Add To MetaCart
  • Representing WP Semantics in Isabelle/ZF  
  • by Mark Staples — 1999 — TPHOLs: The 12th International Conference on Theorem Proving in Higher-Order Logics, number 1690 in lncs
  • …Representing WP Semantics in Isabelle/ZF Mark Staples University of Cambridge Computer Laboratory…
  • Cited by 2 (0 self) – Add To MetaCart
  • Situational Method Quality  
  • by Liming Zhu, Mark Staples
  • …Situational Method Quality Liming Zhu, Mark Staples 1 NICTA, Australian Technology Park, Eveleigh…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB