[Termtools] how to read syntax of higher-order rules

[Makoto Hamana]

Dear Yamada-san and all,

On Thu, 26 April 2018 15:28:19 +0900, Akihisa Yamada wrote:
| this free online one seems to work (another didn't):
| http://xmlgrid.net/view/xsdViewer.html
| (but honestly I don't think xsd is readable anyway...)

Thank you. I could view the XML file, but the grammer is
still not quite clear for me. Isn't there more standard one
like https://www.lri.fr/~marche/tpdb/format.html ?

Why I want to see the grammar is that in this year, I am
planing to participate the category of "Rewriting with
higher-order pattern matching on beta-normal eta-long forms
(HRS)" (not just rewriting union beta) mentioned in

http://termination-portal.org/wiki/Higher_Order

but no precise information in the wiki.
BTW, can I participate in this HRS category?
I would like to also ask the members of committee about this.

Best Regards,
Makoto

| On 2018/04/25 15:59, Makoto Hamana wrote:
| > Dear All,
| > 
| > I want to see the specification and the grammer of the syntax of
| > higher-order rules of the current TPDB like the older one
| > https://www.lri.fr/~marche/tpdb/format.html
| > 
| > I looked at
| > 
| > http://termination-portal.org/wiki/TPDB
| > 
| > and it says "for versions from 7.* onwards (XML format): xtc.xsd, already part of the TPDB".
| > 
| > How can I read xtc.xsd? The plain XML file is hard to read.
| > Is there some viewer for this?
| > 
| > Best Regards,
| > Makoto
| > 
| > _______________________________________________
| > Termtools mailing list
| > Termtools at lists.lri.fr
| > http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
| > 
| 
| --
|