Last change
on this file since 3421 was
3421,
checked in by campbell, 7 years ago
|
Note parametric example for appendix
|
File size:
322 bytes
|
Line | |
---|
1 | We've removed the paragraph on logic programming languages because one |
---|
2 | of the reviewers pointed out that standard Prolog may have the |
---|
3 | necessary features, which we haven't tried. Thus we felt it was best |
---|
4 | not to claim anything about logic programming. |
---|
5 | |
---|
6 | The example has been slightly altered to show a parametric time bound. |
---|
Note: See
TracBrowser
for help on using the repository browser.