Changeset 3421
- Timestamp:
- Feb 10, 2014, 6:45:53 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/fopara2013/appendix.tex
r3417 r3421 3 3 necessary features, which we haven't tried. Thus we felt it was best 4 4 not to claim anything about logic programming. 5 6 The example has been slightly altered to show a parametric time bound.
Note: See TracChangeset
for help on using the changeset viewer.