scientific article
From MaRDI portal
Publication:3774997
zbMath0635.68105MaRDI QIDQ3774997
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reductioncompletenessuniformitynarrowinginference rulesatomic formulasChurch-Rosser propertiesHorn clause specificationselection of redicesstrategy independence
Related Items