[Termtools] (sub) categories, specification of input format, test cases

[Salvador Lucas]

Dear all,

Peter Schneider-Kamp wrote:

>What is "(THEORY (A f)) (STRATEGY INNERMOST)"? What is
>"(THEORY (A f)) (STRATEGY CONTEXTSENSITIVE)"?
>
AC-CSR was introduced by Ferreira and Ribeiro (RTA'99).
Its termination was studied by them, and also by Giesl and Middeldorp
(JFP'04).

(STRATEGY INNERMOST)
(STRATEGY CONTEXTSENSITIVE)

would also make sense (investigated by myself (LPAR'01) and also by
Giesl and Middeldorp, DLT'02)...

Regards,

Salvador.

_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools