source: Papers/fopara2013/appendix.tex @ 3421

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
1We've removed the paragraph on logic programming languages because one
2of the reviewers pointed out that standard Prolog may have the
3necessary features, which we haven't tried.  Thus we felt it was best
4not to claim anything about logic programming.
6The example has been slightly altered to show a parametric time bound.
Note: See TracBrowser for help on using the repository browser.