[Termtools] LOAT?

Akihisa Yamada ayamada at trs.cm.is.nagoya-u.ac.jp
Thu Jun 25 06:45:08 CEST 2020

Previous message (by thread): [Termtools] We are community driven
Next message (by thread): [Termtools] LOAT?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear Florian,

loat seems producing bounds instead of YES. https://www.starexec.org/starexec/secure/details/pair.jsp?id=487097787

Did you intend to participate in the complexity category?

Best,
Akihisa
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200625/a0e7bfe4/attachment.htm>

Previous message (by thread): [Termtools] We are community driven
Next message (by thread): [Termtools] LOAT?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list