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 |
