1 |
Labelings for Decreasing Diagrams
|
|
|
|
In: http://drops.dagstuhl.de/opus/volltexte/2011/3137/pdf/30.pdf (2011)
|
|
BASE
|
|
Show details
|
|
2 |
Beta Reduction Constraints
|
|
|
|
In: International Conference on Rewriting Techniques and Applications ; https://hal.inria.fr/inria-00536804 ; International Conference on Rewriting Techniques and Applications, 2001, Utrecht, Netherlands. pp.31-46 (2001)
|
|
BASE
|
|
Show details
|
|
3 |
Predictive labeling with dependency pairs using SAT
|
|
|
|
In: http://www.win.tue.nl/~akoprows/papers/predLab_CADE.pdf
|
|
BASE
|
|
Show details
|
|
4 |
Predictive labeling with dependency pairs using SAT
|
|
|
|
In: http://cl-informatik.uibk.ac.at/workspace/publications/07cade.pdf
|
|
BASE
|
|
Show details
|
|
|
|