Searching for "A Simplified Problem Reduction Format." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Can Logic Programming Execute as Fast as Imperative Programming? [References]
by Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic — 1990
… and Information (CSLI), Lecture Notes Number 10, 1987. 57. D. A. Plaisted, A Simplified Problem Reduction Format…
Cited by 95 (4 self) – Add To MetaCart

Rewrite Methods for Clausal and Nonclausal Theorem Proving
by Jieh Hsiang, Nachum Dershowitz — 1983 — in Proceedings of the Tenth International Conference on Automata, Languages and Programming
…], experiments using locking resolution and a certain version of natural deduction (a simplified problem…
Cited by 18 (8 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB