Younghwan Lim

Learn More
Equality is an Important relation and many theorems can be easily symbolized through it's use. A proposed Inference rule called HL-resolution Is intended to have the benefits of hyper steps while controlling the application of paramodulation. It generates a resolvent by building a paramodulation and demodulation link between two terms using a pre pro ceased(More)
Sometimes network resources including IP address, MAC address , and hostname could be misused for the weakness of TCP/IP protocol suite and the deficiency of network management. Therefore, there is urgent need to solve the problems from the viewpoint of network management and operation. In this paper, we propose a network network blocking algorithm based on(More)