VDict mobile
Dictionary - Translation



language A version of OBJ based on order-sortedrewriting. OBJ3 is agent-oriented and runs on AKCL.
E-mail: [email protected], [email protected].
["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl,
1988].
(1995-03-16)
© Vdict mobile
Switch to smart phone version   |   Switch to PC version