You are here: irt.org | FOLDOC | Tempura
Language based on temporal logic. "Executing Temporal Logic Programs", B. Moszkowski, Camb U Press 1986.
Nearby terms: Tempo « temporal database « temporal logic « Tempura » Ten15 » tendinitis » TenDRA
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