|
Last change
on this file since 3421 was
3421,
checked in by campbell, 6 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.
