MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Christelle Scharff – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Basic Completion modulo E with Simplification  
  • by Christopher Lynch, Christelle Scharff
  • …We give a new inference system for Basic Completion modulo an equational theory E with simplification that we call BCIC. Our system has all the advantages of Basic Completion modulo E, in that E-unification problems are stored as constraints instead of being applied. But it has several advantages ov…
  • Add To MetaCart
  • Oliver: an OnLine Inference and VERification system  
  • by Andy Wildenberg, Christelle Scharff — 2002
  • …We describe Oliver, the Online inference and verification system for propositional logic. It provides a web-based interface for teaching propositional logic proojS', and accepts' any valid direct proof. Oliver provides instant feedback to students' as to whether each step is correct or not, encourag…
  • Add To MetaCart
  • Teaching Discrete Structures with SML  
  • by Christelle Scharff, Andrew Wildenberg — 2002
  • …We describe the benefits of using SML to teach the Discrete Structures course described in the ACM Computer Science curriculum. When students in a Discrete Structures course have no prior programming experience, SML can be used to familiarize students with recursion and to illustrate various topics …
  • Add To MetaCart
  • Basic Completion with E-cycle Simplification  
  • by Christopher Lynch, Christelle Scharff — 1999
  • …We give a new simplification method, called E-cycle Simplification, for Basic Completion inference systems. We prove the completeness of Basic Completion with E-cycle Simplification. We prove that E-cycle Simplification is strictly stronger than the only previously known complete simplification meth…
  • Cited by 3 (1 self) – Add To MetaCart
  • A fine-grained Concurrent Completion Procedure  
  • by N Xxx, Claude Kirchner, Claude Kirchner, Christopher Lynch, Christopher Lynch, Christelle Scharff, Christelle Scharff — 1996
  • … Completion Procedure Claude KIRCHNER , Christopher LYNCH , Christelle SCHARFF N XXX January 1996 TH EME 2…
  • Add To MetaCart
  • Fine-grained Concurrent Completion  
  • by Claude Kirchner, Christopher Lynch, Christelle Scharff — 1996 — In Proc. of the 7th RTA
  • …Fine-grained Concurrent Completion Claude Kirchner Christopher Lynch Christelle Scharff INRIA…
  • Cited by 4 (1 self) – Add To MetaCart
  • A fine-grained Concurrent Completion Procedure  
  • by Claude Kirchner, Claude Kirchner, Christopher Lynch, Christopher Lynch, Christelle Scharff, Christelle Scharff — 1996 — Proceedings of RTA'96
  • … SCHARFF N 2990 September 1996 TH EME 2 A fine-grained Concurrent Completion Procedure Claude KIRCHNER…
  • Cited by 2 (1 self) – Add To MetaCart
  • Basic Completion with E-cycle Simplification  
  • by Christopher Lynch And, Christopher Lynch, Christelle Scharff — 1997 — Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation (AISC-98)', LNAI 1476
  • …Basic Completion with E-cycle Simplification Christopher Lynch 1⋆ and Christelle Scharff 2 1…
  • Add To MetaCart
  • IEEE November 6 - 9, 2002, Boston, MA  
  • by Oliver An Online, Abstract We Describe Oliver, The Online Inference, Andy Wildenberg, Christelle Scharff
  • … Logic, Web. Andy Wildenberg 1 and Christelle Scharff 2 1 Department of Computer Science, SUNY Stony…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB