You are here: irt.org | FOLDOC | Oc
<language> ("Oh see!") A parallel logic language.
["Self-Description of Oc and its Applications", M. Hirata, Proc 2nd Natl Conf Japan Soc Soft Sci Tech, pp. 153-156, 1984].
(1995-03-16)
Nearby terms: OBOE « OBSCURE « observational equivalence « Oc » OC-12 » OC-3 » OC-48
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