The following pages link to Nachum Dershowitz (Q199247):
Displaying 50 items.
- Canonicity! (Q3541714) (← links)
- Canonical Inference for Implicational Systems (Q3541718) (← links)
- Yuri, Logic, and Computer Science (Q3585995) (← links)
- Three Paths to Effectiveness (Q3586000) (← links)
- Exact Exploration and Hanging Algorithms (Q3586039) (← links)
- The Hydra Battle Revisited (Q3608809) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- On Lazy Commutation (Q3630173) (← links)
- When are Two Algorithms the Same? (Q3633205) (← links)
- (Q3674088) (← links)
- Program abstraction and instantiation (Q3681903) (← links)
- (Q3703288) (← links)
- Computing with rewrite systems (Q3707361) (← links)
- (Q3783490) (← links)
- (Q3783521) (← links)
- Existence, Uniqueness, and Construction of Rewrite Systems (Q3806799) (← links)
- (Q3809306) (← links)
- (Q3817652) (← links)
- (Q3817653) (← links)
- (Q3819993) (← links)
- An implementation of narrowing (Q3821639) (← links)
- Proving termination with multiset orderings (Q3868730) (← links)
- (Q3912031) (← links)
- Inference Rules for Program Annotation (Q3914411) (← links)
- (Q3917482) (← links)
- Notations for rewriting (Q3970984) (← links)
- (Q4012174) (← links)
- (Q4036569) (← links)
- A simplified loop-free algorithm for generating permutations (Q4078041) (← links)
- The Evolution of Programs: Automatic Program Modification (Q4134912) (← links)
- KEDMA—Linguistic Tools for Retrieval Systems (Q4140418) (← links)
- (Q4190106) (← links)
- (Q4205073) (← links)
- Equational inference, canonical proofs, and proof orderings (Q4299008) (← links)
- (Q4347956) (← links)
- (Q4367587) (← links)
- (Q4385532) (← links)
- (Q4470528) (← links)
- (Q4499242) (← links)
- (Q4534296) (← links)
- (Q4537128) (← links)
- Cayley′s Formula: A Page From The Book (Q4576536) (← links)
- Innocuous constructor-sharing combinations (Q4594228) (← links)
- On the parallel computation thesis (Q4644545) (← links)
- Effectiveness (Q4907914) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01). (Q4916226) (← links)
- Gap Embedding for Well-Quasi-Orderings (Q4924530) (← links)
- (Q4967215) (← links)
- (Q4986663) (← links)
