Changeset 3421


Ignore:
Timestamp:
Feb 10, 2014, 6:45:53 PM (7 years ago)
Author:
campbell
Message:

Note parametric example for appendix

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Papers/fopara2013/appendix.tex

    r3417 r3421  
    33necessary features, which we haven't tried.  Thus we felt it was best
    44not to claim anything about logic programming.
     5
     6The example has been slightly altered to show a parametric time bound.
Note: See TracChangeset for help on using the changeset viewer.