<?xml version="1.0"?> <?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd"> <trs> <rules> <rule> <lhs> <funapp> <name>f</name> <arg> <var>x</var> </arg> <arg> <var>x'</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>g</name> <arg> <var>y</var> </arg> <arg> <var>y</var> </arg> </funapp> </rhs> <conditions> <condition> <lhs> <var>x</var> </lhs> <rhs> <var>y</var> </rhs> </condition> <condition> <lhs> <var>x'</var> </lhs> <rhs> <var>y</var> </rhs> </condition> </conditions> </rule> <rule> <lhs> <funapp> <name>h</name> <arg> <var>x</var> </arg> <arg> <var>x'</var> </arg> <arg> <var>x''</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>c</name> </funapp> </rhs> <conditions> <condition> <lhs> <var>x</var> </lhs> <rhs> <var>y</var> </rhs> </condition> <condition> <lhs> <var>x'</var> </lhs> <rhs> <var>y</var> </rhs> </condition> <condition> <lhs> <var>x''</var> </lhs> <rhs> <var>y</var> </rhs> </condition> </conditions> </rule> </rules> <signature> <funcsym> <name>f</name> <arity>2</arity> </funcsym>
content may be truncated. 'popout' for larger text window.