نتایج جستجو برای: bornological completion

تعداد نتایج: 48795  

1992
Rolf Socher-Ambrosius

In this paper, a paramodulation calculus for equational reasoning is presented that combines the advantages of both Knuth-Bendix completion and goal directed strategies like the set of support strategy. Its soundness and completeness is proved, and finally the practical aspects of this method are discussed.

2006
Ian A. Wehrman

KNUTH-BENDIX COMPLETION WITH MODERN TERMINATION CHECKING

Journal: :Cold Spring Harbor perspectives in medicine 2013
Clyde F Barker James F Markmann

Except for legends and claims of miracles, most histories of transplantation cover only the last 60 years because there were no earlier successes. However, the story of even this era has been documented in such rich detail that a full account would fill several volumes. Thus, this brief summary must be limited to highly selected "landmarks." Some landmarks had an immediate impact, but the impor...

Journal: :Theoretical Computer Science 1991

Journal: :Journal of Cell Biology 2002

Journal: :Information and Computation 2011

Journal: :Indagationes Mathematicae (Proceedings) 1967

Journal: :Kyoto Journal of Mathematics 1975

Journal: :Annals of Pure and Applied Logic 2021

Journal: :Electronic Notes in Theoretical Computer Science 1995

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید