Picture for Kazuhisa Makino

Kazuhisa Makino

Deductive Inference for the Interiors and Exteriors of Horn Theories

Add code
Mar 03, 2009
Figure 1 for Deductive Inference for the Interiors and Exteriors of Horn Theories
Figure 2 for Deductive Inference for the Interiors and Exteriors of Horn Theories
Viaarxiv icon