Searching for "A Divergence Critic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A Divergence Critic
- … A Divergence Critic Toby Walsh INRIA-Lorraine 615, rue du Jardin Botanique, B.P. 101 F-54602…
- Add To MetaCart
-
A Divergence Critic for Inductive Proof
- …, ITALY Abstract Inductive theorem provers often diverge. This paper describes a simple critic, a…
- Cited by 7 (0 self) – Add To MetaCart
-
Débats / Discussion Notes The Technology/Education Interface: STES Education for All
- …. emphasize a divergent, critical-thinking orientation; 3. introduce the system-thinking (inclusive…
- Add To MetaCart
-
Theorem Proving with Transitive Relations from a Practical Point of View
- … rules f(a; x) ` \Gamma! x and f(a; c) ' \Gamma! b yield a divergent critical pair: f(a; c) \Gamma…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 4.
