Problem Strategy outermost added 08 Ex1 Zan97 FR

MAYBE

We consider the following Problem:

  Strict Trs:
    {  g(X) -> h(activate(X))
     , c() -> d()
     , h(n__d()) -> g(n__c())
     , d() -> n__d()
     , c() -> n__c()
     , activate(n__d()) -> d()
     , activate(n__c()) -> c()
     , activate(X) -> X}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  g(X) -> h(activate(X))
     , c() -> d()
     , h(n__d()) -> g(n__c())
     , d() -> n__d()
     , c() -> n__c()
     , activate(n__d()) -> d()
     , activate(n__c()) -> c()
     , activate(X) -> X}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  g(X) -> h(activate(X))
     , c() -> d()
     , h(n__d()) -> g(n__c())
     , d() -> n__d()
     , c() -> n__c()
     , activate(n__d()) -> d()
     , activate(n__c()) -> c()
     , activate(X) -> X}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  g(X) -> h(activate(X))
     , c() -> d()
     , h(n__d()) -> g(n__c())
     , d() -> n__d()
     , c() -> n__c()
     , activate(n__d()) -> d()
     , activate(n__c()) -> c()
     , activate(X) -> X}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  g(X) -> h(activate(X))
     , c() -> d()
     , h(n__d()) -> g(n__c())
     , d() -> n__d()
     , c() -> n__c()
     , activate(n__d()) -> d()
     , activate(n__c()) -> c()
     , activate(X) -> X}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  g(X) -> h(activate(X))
     , c() -> d()
     , h(n__d()) -> g(n__c())
     , d() -> n__d()
     , c() -> n__c()
     , activate(n__d()) -> d()
     , activate(n__c()) -> c()
     , activate(X) -> X}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..