Publication:3883568
From MaRDI portal
zbMath0441.68114MaRDI QIDQ3883568
No author found.
Publication date: 1980
Related Items
The kernel strategy and its use for the study of combinatory logic, Completeness issues in RUE-NRF deduction: The undecidability of viability, The rue theorem-proving system: The complete set of LIM+ challenge problems, The problem of hyperparamodulation