Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Nqthm

You are here: irt.org | FOLDOC | Nqthm

The language used in the Boyer-Moore theorem prover.

["Proving Theorems About LISP Functions", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].

Nearby terms: NP time « NP tricky « NQS « Nqthm » nr » NREN » nroff

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb