Search Results

thumbnail image
PDF
PDF-1(153.46 kb)

Citation & Export

Simple citation

Yasuhara, Ann & Yasuhara, Mitsuru. The undecidability of deriving atomic formulas from Horn formulas. Retrieved from https://doi.org/doi:10.7282/t3-9kg6-rn51

Export

Statistics