KMODEL




An ancestor of Model-K.

"Preliminary Results on the BEHAVIOUR Specifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991, GMD, Sankt Augustin, Germany





< Previous Terms Terms Containing KMODEL Next Terms >
KL-ONE
kludge
kluge
kluge around
km
KMODEL
KMS
kn
knapsack problem
KNI
Knights of the Lambda-Calculus