You are here: irt.org | FOLDOC | predomain
<theory> A domain with no bottom element.
(1995-05-04)
Nearby terms: predicate calculus « predicate logic « predict « predomain » pre-emptive multitasking » prefetch » prefix
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