Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0903.0422
Cited By
Deductive Inference for the Interiors and Exteriors of Horn Theories
3 March 2009
K. Makino
H. Ono
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Deductive Inference for the Interiors and Exteriors of Horn Theories"
Title
No papers