MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Contextual Rewriting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 96 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Constraint Contextual Rewriting  
  • by Alessandro Armando Dist, Alessandro Armando, Silvio Ranise — 1998
  • …Constraint Contextual Rewriting Alessandro Armando y DIST, Universita di Genova & LORIA…
  • Add To MetaCart
  • TkWinHOL: A Tool for Window Inference in HOL  
  • by Thomas Langbacka Rimvydas, Thomas Langbacka, Rimvydas Ruks Enas, Joakim Von Wright — 1995 — Higher Order Logic Theorem Proving and Its Applications -- 8th International Workshop
  • …, Finland Abstract. Window inference is a method for contextual rewriting and refinement, supported…
  • Add To MetaCart
  • SPASS Version 2.0  
  • by Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topic — 1999 — In Proc. CADE-18
  • ….0, including among others an implementation of contextual rewriting, renements of the clause normal form…
  • Cited by 30 (0 self) – Add To MetaCart
  • Contextual Tree Adjoining Grammars  
  • by Martin Kappes Fachbereich
  • … contextual tree adjoining grammar (CTAG). CTAGs are a generalization of multi bracketed contextual rewriting…
  • Add To MetaCart
  • Predicate subtyping with predicate sets  
  • by Joe Hurd — 2001 — 14th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2001
  • … on the effectiveness of a subtype checker used as a condition prover in a contextual rewriter. 1 Introduction HOL [4…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB